method action_toggle (elem : Gdome.element) =
match elem#get_namespaceURI, elem#get_localName with
Some ns, Some ln
- when ns#to_string = "http://www.w3.org/1998/Math/MathML" &&
- ln#to_string = "maction"
+ when
+ (ns#to_string = "http://www.w3.org/1998/Math/MathML" && ln#to_string = "maction") ||
+ (ns#to_string = "http://helm.cs.unibo.it/2003/BoxML" && ln#to_string = "action")
->
begin
let selection_attr = Gdome.domString "selection" in
ignore
(self#connect#select_begin
- (fun (elem : Gdome.element option) _ ->
+ (fun ((elem : Gdome.element option), _, _, _) ->
if not (same_element root_selected elem) then selection_changed elem ;
first_selected <- elem)) ;
ignore
(self#connect#select_over
- (fun (elem : Gdome.element option) _ ->
+ (fun ((elem : Gdome.element option), _, _, _) ->
let new_selected =
match first_selected, elem with
Some first', Some last' ->
ignore
(self#connect#select_end
- (fun (elem : Gdome.element option) _ -> first_selected <- None)) ;
+ (fun ((elem : Gdome.element option), _, _, _) -> first_selected <- None)) ;
ignore
(self#connect#select_abort
first_selected <- None ;
selection_changed None)) ;
- ignore (self#connect#click (fun _ _ -> self#set_selection None))
+ ignore (self#connect#click (fun _ -> self#set_selection None))
end
;;
let single_selection_math_view ?hadjustment ?vadjustment ?font_size ?log_verbosity =
- GtkBase.Container.make_params ~cont:(
+ GtkBase.Widget.size_params ~cont:(
OgtkMathViewProps.pack_return
- (fun p -> OgtkMathViewProps.set_params (new single_selection_math_view (GtkMathViewProps.MathView.create p)) ~font_size ~log_verbosity)) []
+ (fun p -> OgtkMathViewProps.set_params (new single_selection_math_view
+ (GtkMathViewProps.MathView_GMetaDOM.create p)) ~font_size ~log_verbosity)) []
;;
class multi_selection_math_view_signals obj
self#thaw
method add_selection (elem : Gdome.element) =
+ List.iter self#unselect selected ;
selected <- elem::(remove_descendants_of elem selected) ;
- self#select elem
+ List.iter self#select selected
method get_selections = selected
initializer
ignore
(self#connect#select_begin
- (fun _ state ->
+ (fun (_,_,_,state) ->
if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
self#remove_selections)) ;
ignore
(self#connect#select_over
- (fun _ state ->
+ (fun (_,_,_,state) ->
let c =
function
`SHIFT -> "shift "
ignore
(self#connect#select_end
- (fun _ state ->
+ (fun (_,_,_,state) ->
if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
self#remove_selections ;
match root_selected with
ignore
(self#connect#click
- (fun _ _ -> self#remove_selections))
+ (fun _ -> self#remove_selections))
end
;;
let multi_selection_math_view ?hadjustment ?vadjustment ?font_size ?log_verbosity =
- GtkBase.Container.make_params ~cont:(
+ GtkBase.Widget.size_params ~cont:(
OgtkMathViewProps.pack_return
- (fun p -> OgtkMathViewProps.set_params (new multi_selection_math_view (GtkMathViewProps.MathView.create p)) ~font_size ~log_verbosity)) []
+ (fun p -> OgtkMathViewProps.set_params (new multi_selection_math_view
+ (GtkMathViewProps.MathView_GMetaDOM.create p)) ~font_size ~log_verbosity)) []
;;