object   method annot_window : Wtext.text   method display_globals : Cil_types.global list -> unit   method error :     ?parent:GWindow.window_skel ->     ?reset:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a   method file_tree : Filetree.t   method file_tree_view : GTree.view   method full_protect :     cancelable:bool ->     ?parent:GWindow.window_skel -> (unit -> 'a) -> 'a option   method help_message :     < event : GObj.event_ops; .. > ->     ('b, Format.formatter, unit) Pervasives.format -> 'b   method launcher : unit -> unit   method lower_notebook : GPack.notebook   method main_window : GWindow.window   method menu_manager : unit -> Menu_manager.menu_manager   method original_source_viewer : Source_manager.t   method pop_info : unit -> unit   method pretty_information :     ?scroll:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a   method protect :     cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> unit) -> unit   method push_info : ('a, Format.formatter, unit) Pervasives.format -> 'a   method reactive_buffer : Design.reactive_buffer   method redisplay : unit -> unit   method register_panel :     (Design.main_window_extension_points ->      string * GObj.widget * (unit -> unit) option) ->     unit   method register_source_highlighter :     (Design.reactive_buffer ->      Pretty_source.localizable -> start:int -> stop:int -> unit) ->     unit   method register_source_selector :     (GMenu.menu GMenu.factory ->      Design.main_window_extension_points ->      button:int -> Pretty_source.localizable -> unit) ->     unit   method rehighlight : unit -> unit   method reset : unit -> unit   method scroll : Pretty_source.localizable -> unit   method select_or_display_global : Cil_types.global -> unit   method show_ids : bool   method source_viewer : GSourceView2.source_view   method source_viewer_scroll : GBin.scrolled_window   method toplevel : Design.main_window_extension_points   method view_original : Cil_types.location -> unit   method view_original_stmt : Cil_types.stmt -> Cil_types.location   method view_stmt : Cil_types.stmt -> unit end