Playground.Documents (philtre v0.9.3)

Main context for storing editor content onto disk as json

Link to this section Summary

Link to this section Functions

Link to this function

delete_document(filename)

Link to this function

get_document(filename)

Link to this function

list_documents()

Link to this function

save_document(editor, filename)