;;
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
ignore
(self#connect#select_over
(fun _ state ->
- Printf.printf "stable selections: %d\n" (List.length selected) ;
- Printf.printf "select_over with state: " ;
let c =
function
`SHIFT -> "shift "
ignore
(self#connect#select_end
(fun _ state ->
- Printf.printf "select_end\n" ; flush stdout ;
if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
self#remove_selections ;
match root_selected with
;;
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)) []
;;