+(* Stuff for the widget settings *)
+
+let export_to_postscript output () =
+ !output#export_to_postscript "output.ps" ;
+;;
+
+let activate_t1 output sw () =
+ sw#remove !output#coerce ;
+ output :=
+ (GMathView.math_view ~packing:sw#add ~width:50 ~height:50
+ ~use_t1_lib:true ()) ;
+(* ignore(!mathview#connect#jump jump) ;
+ ignore(!mathview#connect#clicked clicked) ;
+ ignore(!mathview#connect#selection_changed selection_changed) ;
+*)
+;;
+
+
+class settings_window output sw =
+ let settings_window = GWindow.window ~title:"GtkMathView settings" () in
+ let table = GPack.table ~rows:5 ~columns:5 ~packing:settings_window#add () in
+ let button_t1 =
+ GButton.button ~label:"activate t1 fonts"
+ ~packing:(table#attach ~left:0 ~top:0) () in
+ let font_size_spinb =
+ let sadj =
+ GData.adjustment ~value:14.0 ~lower:5.0 ~upper:50.0 ~step_incr:1.0 ()
+ in
+ GEdit.spin_button
+ ~adjustment:sadj ~packing:(table#attach ~left:4 ~top:2) () in
+ let button_set_anti_aliasing = GButton.button ~label:"set_anti_aliasing" ~packing:(table#attach ~left:1 ~top:3) () in
+ let button_set_kerning = GButton.button ~label:"set_kerning" ~packing:(table#attach ~left:3 ~top:3) () in
+ let button_set_log_verbosity = GButton.button ~label:"set_log_verbosity" ~packing:(table#attach ~left:0 ~top:4) () in
+object(self)
+ method show = settings_window#show
+ initializer
+ ignore(button_t1#connect#clicked (activate_t1 output sw)) ;
+ (*ignore(font_size_spinb#connect#changed (changefont self)) ;*)
+(*
+ (* Signals connection *)
+ ignore(button_set_anti_aliasing#connect#clicked (set_anti_aliasing mathview)) ;
+ ignore(button_set_kerning#connect#clicked (set_kerning mathview)) ;
+ ignore(button_set_log_verbosity#connect#clicked (set_log_verbosity mathview)) ;
+*) ()
+end;;
+
+(* Main windows *)
+