Editing on the graph
Once you have allowed editing, right-click menus change the project’s Dolfin source in Agrafe. Each change is saved in Agrafe straight away and the graph redraws. You need edit rights on the project: owner or editor.
Public projects cannot be edited from Owlograf.
Right-click menus
On a concept
- ✏ Edit…: edit its declaration as text.
- 🔤 Rename
- ➕ New sub-concept…
- ↗ Add property…: add a field.
- 🗑 Delete…
On a property: Edit…, Rename, ➕ New sub-property…, Delete…
On a field arrow (thin solid arrow): the same as on a property, for that field: Edit…, Rename, New sub-property…, Delete…
On a file box: ➕ Add concept… and ↗ Add property…, declared in that file.
Every menu also has ◎ Center in view (boxes and arrows) and Snap to grid. Unions and boxes in Outside cannot be edited from the graph.
Drawing properties
Drag to connect: drag the round handle on a box’s right edge onto another box, name the property, and press Enter. Drop it on empty canvas instead to create a new concept there too: name both. On touch, tap a box first to show its handle.
Domain and range: click an arrow’s end, or a union, intersection or complement square, to edit that end’s type as text, with and, or, not and ( ) buttons and concept names suggested as you type. Apply writes it, e.g. ((A or B) and not C).
Combine: Shift+click classes (Shift+drag on the background, or long-press on touch) to select them, then and, or or not beside the View button draws a draft square. Drag a connection from it, or insert it from the domain/range editor: it is written to the source only then. ✕ discards selected drafts. Drafts are lost on reload.
The dialogs
| Item | Dialog | Fields |
|---|---|---|
| Add concept… / New sub-concept… | New concept in file | Name, Parent (optional), filled in for a sub-concept |
| Add property… on a file box / New sub-property… | New property in file, or New sub-property of parent | Name, Domain, Range, Sub-property of (optional) |
| Add property… on a concept | Add property to concept | Name, Type (optional cardinality first), e.g. one string |
| Edit… | Edit name | the declaration’s full Dolfin source |
| Delete… | Delete name | a confirmation |
New sub-property… on a field arrow fills Domain and Range with the two concepts the arrow joins.
Enter confirms; in the Edit… source box, Ctrl+Enter. Escape, Cancel or a click outside closes the dialog. If Agrafe refuses the change, the dialog stays open with the reason, so you lose nothing.
Deleting
Delete… asks Remove name from file? and lists the arrows in the graph that point to it and will no longer resolve. Only arrows drawn in the graph are counted: rules, facts and mappings that use the name are not. Check the Problems panel in Agrafe afterwards.
Renaming
Rename turns the box title (or the arrow label) into a text field with the name selected. Enter applies, Escape or a click elsewhere cancels. If Agrafe could not rename every use, a notice at the bottom of the graph says which files it skipped.
Notices
Errors and warnings show at the bottom of the graph. × dismisses them.