X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGtkMisc.mli;h=05a724136617abd9bb94986a5475682bb5eab688;hb=1efc4c2c7be1e4aff0ccccabf905d45795b3865f;hp=adea6961d1ee44896e29c8176809ab80bcb904aa;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index adea6961d..05a724136 100644
--- a/matita/matita/matitaGtkMisc.mli
+++ b/matita/matita/matitaGtkMisc.mli
@@ -41,8 +41,6 @@ val toggle_callback:
 val toggle_win:
   ?check:GMenu.check_menu_item -> GWindow.window -> unit -> unit
 
-val add_key_binding: Gdk.keysym -> (unit -> 'a) -> GBin.event_box -> unit
-
 (** Connect a callback to the clicked signal of a button, ignoring its return
   * value *)
 val connect_button: #GButton.button -> (unit -> unit) -> unit
@@ -152,3 +150,5 @@ val utf8_parsed_text: string -> Stdpp.location -> string * int
 val utf8_string_length: string -> int
 
 val escape_pango_markup: string -> string
+
+val matita_lang: GSourceView2.source_language