method error_tag : GText.tag
(** @return current status *)
- method lexicon_status: LexiconEngine.status
method grafite_status: GrafiteTypes.status
(** {2 Observers} *)
- method addObserver :
- (LexiconEngine.status -> GrafiteTypes.status -> unit) -> unit
+ method addObserver : (GrafiteTypes.status -> unit) -> unit
(** {2 History} *)