object
  method annot_window : GText.view
  method display_globals : Cil_types.global list -> unit
  method error :
    ?parent:GWindow.window_skel ->
    ('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 :
    ('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 option
  method redisplay : unit -> unit
  method register_panel :
    (Design.main_window_extension_points ->
     string * GObj.widget * (unit -> unit) option) ->
    unit
  method register_source_highlighter :
    (GSourceView2.source_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 source_viewer : GSourceView2.source_view
  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