| 1 | | = Investigations = |
| 2 | | This service is available under the ”Investigations” menu. |
| 3 | | |
| 4 | | [[Image(webinterface_investigations.jpg)]][[BR]] |
| 5 | | |
| 6 | | ''Web interface after creating a small investigation.'' |
| 7 | | |
| 8 | | == Starting investigations == |
| 9 | | There are a few ways of starting an investigation: |
| 10 | | * 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. |
| 11 | | * By typing the signature of the function into the appropriate textbox in Module:Function/Arity format, then selecting a clause from the results. |
| 12 | | * Loading a previous investigation from the left side of the page. |
| 13 | | |
| 14 | | == Extending investigations == |
| 15 | | You can select nodes from any investigation window, then run a predefined or custom query starting from that node. |
| 16 | | This will show the query's results on the left side of page.[[BR]] |
| 17 | | If there were any results a new window will be created and connected with the window the startnode is in. |
| 18 | | Selecting a result will put the clause that result is in into the newest window. |
| 19 | | |
| 20 | | You can create a new window for the same query by clicking Options and selecting New window in the last window created. |
| 21 | | You can now put another result in this new window. |
| 22 | | |
| 23 | | == Managing investigations == |
| 24 | | You can move windows by dragging them.[[BR]] |
| 25 | | You can also resize windows at their edges.[[BR]] |
| 26 | | Doubleclicking on a window moves that window into view.[[BR]] |
| 27 | | You can zoom the whole investigation, by holding ctrl and left click and dragging the mouse vertically.[[BR]] |
| 28 | | Doubleclicking anywhere but a window will reset the zoom level. |
| 29 | | |
| 30 | | Clicking the Options button in an investigation window brings up some options for it: |
| 31 | | * Hide / Show contents: Show either the full contents of the clause or only the function name. (this is also available outside the options list) |
| 32 | | * Rename: Renames the current investigation window after typing a new name in the appearing textbox and pressing enter. |
| 33 | | * Delete window: Deletes the curent window, you can only delete window with no children windows. |
| 34 | | * New window: Creates a new window when browsing query results, so you can keep more results. |
| 35 | | * 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 name and press enter. |
| 36 | | |
| 37 | | 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]] |
| 38 | | You can save the current investigation with the Save button after typing in a name in the textbox left to it. |
| 39 | | |
| 40 | | == Persistency of investigations == |
| 41 | | When loading an investigation, if the database changed since the last time it was saved, you get a warning.[[BR]] |
| 42 | | If the database changed at parts the investigation visited, then you can't continue from those parts, but can still see them. |
| 43 | | |
| 44 | | |
| 45 | | |
| 46 | | |
| 47 | | |
| 48 | | |
| 49 | | |
| 50 | | {{{#!comment |
| 51 | | |
