Playground.Documents (philtre v0.9.2)
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