module Disambiguate' = Disambiguate.Make(C);;
class term_editor_impl
+ mqi_handle
?packing ?width ?height
?isnotempty_callback ?share_id_to_uris_with () : term_editor
=
else if key = GdkKeysyms._u then
begin
mmlwidget#freeze ;
+ ignore (Mathml_editor.freeze tex_editor) ;
Mathml_editor.reset tex_editor ;
Mathml_editor.push tex_editor '$' ;
+ ignore (Mathml_editor.thaw tex_editor) ;
mmlwidget#thaw
end
else if key = GdkKeysyms._BackSpace then
method coerce = mmlwidget#coerce
method reset =
mmlwidget#freeze ;
+ ignore (Mathml_editor.freeze tex_editor) ;
Mathml_editor.reset tex_editor ;
Mathml_editor.push tex_editor '$' ;
+ ignore (Mathml_editor.thaw tex_editor) ;
mmlwidget#thaw
method set_term txt =
~context:name_context ~metasenv TexCicTextualLexer.token lexbuf
in
let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_input
+ Disambiguate'.disambiguate_input mqi_handle
context metasenv dom mk_metasenv_and_expr ~id_to_uris:!id_to_uris
in
id_to_uris := id_to_uris' ;