The project workspace

Opening a project shows the workspace. It is made for a wide screen; on a narrow one Agrafe asks for a wider window.

┌───────────┬──────────────────────────────┬───────────────────────────────┐
│ Sidebar   │ File tabs                    │ Output tabs                   │
│           ├──────────────────────────────┤ Parse · Turtle · SVG · Graph  │
│ Search    │                              │ SPARQL · Deployments · History│
│ Public    │  Editor                      │                               │
│ Deploy    │                              │  Output panel                 │
│ Files     │                              │                               │
│           │                              │                               │
│ ⚙ Package ├──────────────────────────────┴───────────────────────────────┤
│           │ Problems                                                     │
└───────────┴──────────────────────────────────────────────────────────────┘

Sidebar

From top to bottom:

Searching the project

Type at least two characters in Search…. Results come from every file and are labelled by kind: concept, property, rule, fact or comment, with the file and line. Click a result to open the file at that line. Escape clears the search.

File tabs

Each file you open gets a tab above the editor. Click a tab to switch, click its ✕ to close it. The ‹ at the left of the tab bar hides the editor so the output panel takes the full width; the thin › rail brings it back, and so does opening a file. Your choice is remembered. When you view an old version from History, a purple Diff: file @ version tab appears; closing it returns to the live file.

In a project imported from Turtle, a sync status chip sits at the right of the tab bar. See Keeping Turtle and Dolfin in sync.

Saving

There is no save button. Every edit is saved automatically a moment after you stop typing. The editor header shows Saving…, then Saved (or Save error).

Compiled output (Turtle, diagram, graph, problems) follows the saved source.

Resizing

• The strip between the editor and the output panel resizes both. Drag it, or focus it and use ← / →. Double-click it (or press Home) to reset the split.
• The top edge of the Problems panel resizes it; click its header to fold it.

Both sizes are remembered in your browser.

An empty project

A project with no file of its own offers two ways to start:

• Start from an example: Library (books, members and loans: concepts, enums, facts, a rule and a query) or People (one concept, one enum, a few facts). The example becomes an ordinary file you can edit.
• Paste or import existing Dolfin: Paste Dolfin… opens a box where you name the file and paste its source, then Create file.

Nothing is deployed until you press Deploy.

Package settings

⚙ Package replaces the editor with a form over the project’s package.dlf, a file that is hidden from the tree:

The form tells you whether there are unsaved changes. Save package settings writes them to package.dlf. Closing the form with unsaved changes asks whether to Discard them or Keep editing.