| | 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. |
| | 25 | |
| | 26 | Clicking the Options button in an investigation window brings up some options for it: |
| | 27 | * Hide / Show contents: Show either the full contents of the clause or only the function name. |
| | 28 | * Rename: Renames the current investigation window after typing a new name in the appearing textbox and pressing enter. |
| | 29 | * Delete window: Deletes the curent window, you can only delete window with no children windows. |
| | 30 | * New window: Creates a new window when browsing query results, so you can keep more results. |
| | 31 | |
| | 32 | You can rename your whole investigation with the Rename button at the top of the page, then typing the name in the appearing textbox and pressing enter.[[BR]] |
| | 33 | You can save the current investigation with the Save button after typing in a name in the textbox left to it. |
| | 34 | |
| | 35 | == Persistency of investigations == |
| | 36 | When loading an investigation, if the database changed since the last time it was saved, you get a warning.[[BR]] |
| | 37 | If the database changed at parts the investigation visited, then you can't continue from those parts, but can still see them. |
