+ val model = new MatitaGtkMisc.stringListModel win#whelpResultTreeview
+
+ method private _getWhelpResultTreeviewSelection () =
+ match model#easy_selection () with
+ | [u] -> u
+ | _ -> assert false
+
+ (** history RATIONALE
+ *
+ * all operations about history are done using _historyFoo
+ *
+ * only toplevel function like load loadInput can call
+ * _historyAdd
+ *)
+
+ method private _historyAdd item =
+ history#add item;
+ win#browserBackButton#misc#set_sensitive true;
+ win#browserForwardButton#misc#set_sensitive false
+
+ method private _historyPrev () =
+ let item = history#previous in
+ if history#is_begin then win#browserBackButton#misc#set_sensitive false;
+ win#browserForwardButton#misc#set_sensitive true;
+ item
+
+ method private _historyNext () =
+ let item = history#next in
+ if history#is_end then win#browserForwardButton#misc#set_sensitive false;
+ win#browserBackButton#misc#set_sensitive true;
+ item
+
+ (** notebook RATIONALE
+ *
+ * Use only these functions to switch between the tabs
+ *)
+ method private _showList = win#mathOrListNotebook#goto_page 1
+ method private _showMath = win#mathOrListNotebook#goto_page 0
+
+
+