X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=e9302d5ac3d57a4bb664755ea9ee7ceec7ab2eb6;hb=5717dca7637e00f6f82e462619ee0e07d99cf289;hp=95d0a76310ebea5d645935ee81ea0b1914791ad7;hpb=c68d9805aa7e37554bc4f00eca61083b75ef43da;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 95d0a7631..e9302d5ac 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -1030,8 +1030,6 @@ class gui () =
       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 *)