From d499140be1e8684d99ef51ffef0fb4098ed92369 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 18 Dec 2010 23:37:08 +0000 Subject: [PATCH] Useless methods removed. --- matita/matita/cicMathView.ml | 5 ----- matita/matita/cicMathView.mli | 2 -- 2 files changed, 7 deletions(-) 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 diff --git a/matita/matita/cicMathView.mli b/matita/matita/cicMathView.mli index b3b97f7d0..260452bd5 100644 --- a/matita/matita/cicMathView.mli +++ b/matita/matita/cicMathView.mli @@ -33,11 +33,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 -- 2.39.2