MatitaGtkMisc.toggle_callback ~check:main#unicodeAsTexMenuItem
~callback:(fun enabled ->
Helm_registry.set_bool "matita.paste_unicode_as_tex" enabled);
- if not (Helm_registry.has "matita.paste_unicode_as_tex") then
- Helm_registry.set_bool "matita.paste_unicode_as_tex" false;
main#unicodeAsTexMenuItem#set_active
(Helm_registry.get_bool "matita.paste_unicode_as_tex");
(* log *)