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