Skip to main content

Module workspace

Module workspace 

Source
Expand description

The open documents and the projects they belong to. A document inside a project folder is analysed with every other .nf file of that project, open or not; a document outside one is a project of its own. Open documents’ text wins over what is saved on disk.

Structs§

OpenDocument 🔒
Refreshed 🔒
What changed after a document was opened, edited or closed.
Workspace 🔒

Functions§

path_of 🔒
The file a file: URI names; other schemes have none.
uri_of 🔒