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 ()