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