- if not (jump element) then
- if not (action mathview element) then
- (*
- match mathview#get_action with
- Some n ->
- mathview#action_toggle ;
- print_string ("current action selection: " ^
- string_of_int mathview#action_get_selected ^ "\n") ;
- flush stdout ;
- | None ->
- print_string ("mouse is on: " ^
- (match (mathview#get_element : Gdome.element option) with
- Some e -> e#get_tagName#to_string
- | None -> "NO ELEMENT!\n"
- ) ^ "\n") ;
- print_endline ("clicked: " ^ element#get_tagName#to_string) ;
- flush stdout
- *)
- ()
-;;
-
-
-let activate_t1 mathview () =
- mathview#set_font_manager_type ~fm_type:`font_manager_t1;
- print_string "WIDGET SET WITH T1 FONTS\n" ;
- flush stdout
-;;
-
-let activate_gtk mathview () =
- mathview#set_font_manager_type ~fm_type:`font_manager_gtk ;
- print_string "WIDGET SET WITH GTK FONTS\n" ;
- flush stdout
-;;
-
-let get_font_manager_type mathview () =
- print_string "CURRENT FONT MANAGER TYPE: ";
- begin
- match mathview#get_font_manager_type with
- | `font_manager_t1 -> print_string "T1"
- | `font_manager_gtk -> print_string "GTK"
- end;
- print_newline();
- flush stdout
-;;
-
-let get_transparency mathview () =
- print_string ("CURRENT TRANSPARENCY: " ^
- (if mathview#get_transparency then "ON" else "OFF") ^ "\n") ;
- flush stdout
-;;
-
-let set_transparency mathview () =
- mathview#set_transparency (not mathview#get_transparency) ;
- print_string "TRANSPARENCY CHANGED\n" ;
- flush stdout