X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FcicMathView.ml;h=43cedcec6b210c18e8c889bfab96f1d5833e9fe1;hb=d499140be1e8684d99ef51ffef0fb4098ed92369;hp=60d3b69cfab196d77c4057f989332e1dd2806350;hpb=ad3546bfc633935891d8c69ea704c86207c83f57;p=helm.git

diff --git a/matita/matita/cicMathView.ml b/matita/matita/cicMathView.ml
index 60d3b69cf..43cedcec6 100644
--- a/matita/matita/cicMathView.ml
+++ b/matita/matita/cicMathView.ml
@@ -40,11 +40,9 @@ object
   method update_font_size: unit
 
   method load_root : root:document_element -> unit
-  method action_toggle: document_element -> bool
   method remove_selections: unit
   method set_selection: document_element option -> unit
   method get_selections: document_element list
-  method has_selection: bool
 
     (** @raise Failure "no selection" *)
   method strings_of_selection: (MatitaGuiTypes.paste_kind * string) list
@@ -179,7 +177,6 @@ let text_width = 80 in
 object (self)
   inherit GSourceView2.source_view obj
 
-  method has_selection = (assert false : bool)
   method strings_of_selection = (assert false : (paste_kind * string) list)
   method update_font_size =
    self#misc#modify_font_by_name
@@ -566,8 +563,6 @@ IDIOTA: PRIMA SI FA LA LOCATE, POI LA PATTERN_OF. MEGLIO UN'UNICA pattern_of CHE
     | [] -> None
     | node :: _ -> Some (self#string_of_node ~paste_kind node)
 
-  method has_selection = self#get_selections <> []
-
     (** @return an associative list format -> string with all possible selection
      * formats. Rationale: in order to convert the selection to TERM or PATTERN
      * format we need the sequent, the metasenv, ... keeping all of them in a