| | 43 | |
| | 44 | |
| | 45 | |
| | 46 | |
| | 47 | |
| | 48 | |
| | 49 | |
| | 50 | {{{#!comment |
| | 51 | |
| | 52 | = Investigations = |
| | 53 | This service is available under the ”Investigations” menu. |
| | 54 | |
| | 55 | [[Image(webinterface_investigations.jpg)]][[BR]] |
| | 56 | |
| | 57 | ''Web interface after creating a small investigation.'' |
| | 58 | |
| | 59 | == Starting investigations == |
| | 60 | There are a few ways of starting an investigation: |
| | 61 | * From a node when browsing files on the Queries page, this will bring up a new window with a new investigation starting from the clause the node is in. |
| | 62 | * By typing the signature of the function into the appropriate textbox in Module:Function/Arity format, then selecting a clause from the results. |
| | 63 | * Loading a previous investigation from the 'Saved Investigations' tab. |
| | 64 | |
| | 65 | == Extending investigations == |
| | 66 | You can select nodes from any investigation window, then run a predefined or custom query starting from that node. |
| | 67 | This will show the query's results on the 'Last result' tab.[[BR]] |
| | 68 | If there were any results a new window will be created and connected with the window the starting node is in. |
| | 69 | Selecting a result will put the clause that result is in into the newest window. |
| | 70 | |
| | 71 | You can create a new window for the same query by clicking Options and selecting New window from the last window created. |
| | 72 | You can now put another result in this new window. |
| | 73 | |
| | 74 | == Managing investigations == |
| | 75 | You can move windows by dragging them.[[BR]] |
| | 76 | You can select then move multiple windows too.[[BR]] |
| | 77 | You can also resize windows at their edges.[[BR]] |
| | 78 | Doubleclicking on a window moves that window into view.[[BR]] |
| | 79 | You can zoom the whole investigation, by holding ctrl and left click and dragging the mouse vertically.[[BR]] |
| | 80 | Doubleclicking anywhere but a window will reset the zoom level. |
| | 81 | |
| | 82 | Clicking the Options button in an investigation window brings up some options for it: |
| | 83 | * New window: Creates a new window when browsing query results, so you can keep more results (only available in last window created). |
| | 84 | * Delete window: Deletes the current window, you can only delete a window with no children windows. |
| | 85 | * Hide / Show contents: Show either the full contents of the clause or only the function name. (this is also available outside the options list) |
| | 86 | * Add / Edit Annotation: Connects a smaller annotation window to a window in which you can place a description text, an empty text will remove the annotation window. |
| | 87 | * Move to new investigation: Moves the subtree starting from that window to a new investigation, and leaves a link in the current one. It will ask for a new and old name for the created and the modified investigation, just type the desired names and press enter. |
| | 88 | * Rename: Renames the current investigation window after typing a new name in the appearing textbox and pressing enter. |
| | 89 | * Start new inv. from here: Starts a whole new investigation from the current clause. |
| | 90 | |
| | 91 | You can rename your whole investigation with the Rename button at the top left of the page, then typing the name in the appearing textbox and pressing enter.[[BR]] |
| | 92 | You can save the current investigation with the Save button after typing in a name in the textbox left to it. |
| | 93 | If the current investigation is modified and you want to start/load another one, you'll have to confirm that you don't want to save it. |
| | 94 | |
| | 95 | == Persistency of investigations == |
| | 96 | When loading an investigation, if the database changed since the last time it was saved, you get a warning.[[BR]] |
| | 97 | If the database changed at parts the investigation visited, then you can't continue from those parts, but can still see them. |
| | 98 | |
| | 99 | }}} |