| 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 | }}} |