method private _do_quit = let button = GToolbox.question_box ~title:"Quit ?" ~buttons:["Yes"; "No"] ~default:2 "Are you sure you want to quit ?" in button = 1