method
private
_document_changed =
fun
()
->
saved <-
false