method on_quit () =
      if (not v#modified) or
        (GToolbox.question_box ~title:"Quit"
           "Changes not saved. Quit anyway ?"
           ~buttons:["Yes";"No"] = 1)
      then
        main#destroy ()