method private _cb__quit = fun () ->
    if self#_do_quit then GMain.quit ()