object   method display_globals : Cil_types.global list -> unit   method scroll : Pretty_source.localizable -> unit   method select_or_display_global : Cil_types.global -> unit   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