Files
The Dolfin files tree in the sidebar lists the project’s files. package.dlf is not in it: edit it through ⚙ Package.
A file opens in the editor that matches its extension:
| Extension | Editor |
|---|---|
.dlf | The Dolfin editor. |
.ttl, .turtle | The Turtle editor. |
.md | A plain Markdown editor, handy for notes and a README. |
Toolbar
| Button | Action |
|---|---|
| Collapse all | Folds every folder. |
| Import | Files… takes any mix of .zip, .dlf and .md files; Folder… takes a whole folder, read recursively. Everything lands at the package root: a folder foo/ becomes foo/... with its subfolders kept, and a zip found in a folder is unpacked where it sits. Hidden files (.git/…) and other file types are skipped, and a notice lists them. If some names already exist, Agrafe asks whether to Overwrite all, Skip conflicts or Cancel. |
| Export as zip | Downloads every file of the project, package.dlf included, as <package name>.zip. |
| + | Creates a new file at the top level. |
The number of files per project depends on the owner’s plan.
Folders
Folders come from file names: a file named models/person.dlf sits in a models folder. A folder disappears when its last file goes.
Hover a folder for two buttons: + (new file in that folder) and a hold-to-delete trash that removes the folder and every file in it.
Right-click menus
Right-click a file:
| Item | Action |
|---|---|
| ✏ Rename | Edits the file name in place. Only the name is edited; the file stays in its folder. Enter confirms, Escape or clicking away cancels. |
| ⟳ Re-translate to Dolfin… | Only on the origin .ttl of a Turtle project. See Re-translate. |
| Delete | Deletes the file at once. |
Right-click a folder:
| Item | Action |
|---|---|
| + New file here | Creates a file in that folder, ready to be renamed. |
| Delete folder | Deletes the folder and all its files. |
The same file actions also exist on hover: a pencil (Rename, also F2) and a hold-to-delete trash.
Renaming a Dolfin file changes its namespace, so the IRIs of everything declared in it change too.
Badges
- A file with problems shows its error and warning counts next to its name. The Problems panel lists them.
- In a project imported from Turtle, the original file carries an origin badge and stays at the top. Deleting it asks for confirmation, because Reveal and sync depend on it. See Importing a Turtle file.
Keyboard
The tree is a single stop in the tab order. Once it has focus:
| Key | Action |
|---|---|
| ↑ / ↓ | Previous / next row. |
| Home / End | First / last row. |
| → | Opens a folder, then moves into it. |
| ← | Closes a folder, or moves to the parent folder. |
| Enter | Opens the file, or toggles the folder. |
| Space | Toggles the folder. |
| F2 | Renames the file. |