philtre v0.12.1

View Source Playground.Documents (philtre v0.12.1)

Main context for storing editor content onto disk as json

Link to this section Summary

Functions

delete_document(filename)
get_document(filename)
list_documents()
save_document(editor, filename)

Link to this section Functions

Link to this function

delete_document(filename)

View Source
Link to this function

get_document(filename)

View Source
Link to this function

list_documents()

View Source
Link to this function

save_document(editor, filename)

View Source