method error_tag : GText.tag
(** @return current status *)
- method grafite_status: GrafiteTypes.status
+ method status: GrafiteTypes.status
(** {2 Observers} *)
(** misc *)
method clean_dirty_lock: unit
method set_star: bool -> unit
- method source_view: GSourceView2.source_view
+ method source_view: GSourceView3.source_view
method has_parent: GObj.widget -> bool
(* debug *)
end
val script:
- urichooser: (GSourceView2.source_view -> NReference.reference list -> NReference.reference list) ->
- ask_confirmation:
- (title:string -> message:string -> [`YES | `NO | `CANCEL]) ->
- parent:GBin.scrolled_window ->
- tab_label:GMisc.label ->
- unit ->
- script
+ parent:GBin.scrolled_window -> tab_label:GMisc.label -> unit -> script
val destroy: int -> unit
val current: unit -> script
val at_page: int -> script
+
val iter_scripts: (script -> unit) -> unit