Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

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:

ExtensionEditor
.dlfThe Dolfin editor.
.ttl, .turtleThe Turtle editor.
.mdA plain Markdown editor, handy for notes and a README.

Toolbar

ButtonAction
Collapse allFolds every folder.
ImportFiles… 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 zipDownloads 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:

ItemAction
✏ RenameEdits 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.
DeleteDeletes the file at once.

Right-click a folder:

ItemAction
+ New file hereCreates a file in that folder, ready to be renamed.
Delete folderDeletes 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:

KeyAction
↑ / ↓Previous / next row.
Home / EndFirst / last row.
→Opens a folder, then moves into it.
←Closes a folder, or moves to the parent folder.
EnterOpens the file, or toggles the folder.
SpaceToggles the folder.
F2Renames the file.