- sw#remove !output#coerce ;
- let font_size = !output#get_font_size in
- let log_verbosity = !output#get_log_verbosity in
- let anti_aliasing = button_set_anti_aliasing#active in
- let kerning = button_set_kerning#active in
- output :=
- (GMathView.math_view ~packing:sw#add ~width:400 ~height:380
- ~use_t1_lib:is_set ()) ;
- !output#set_font_size font_size ;
- !output#set_log_verbosity log_verbosity ;
- if is_set then
- begin
- button_set_anti_aliasing#misc#set_sensitive true ;
- button_set_kerning#misc#set_sensitive true ;
- button_export_to_postscript#misc#set_sensitive true ;
- !output#set_anti_aliasing anti_aliasing ;
- !output#set_kerning kerning ;
- end
- else
- begin
- button_set_anti_aliasing#misc#set_sensitive false ;
- button_set_kerning#misc#set_sensitive false ;
- button_export_to_postscript#misc#set_sensitive false ;
- end ;
- !output#load !last_uri ;
- ignore(!output#connect#jump jump_callback) ;
- ignore(!output#connect#selection_changed selection_changed_callback) ;
+ output#set_font_manager_type
+ (if is_set then `font_manager_t1 else `font_manager_gtk) ;
+ if is_set then
+ begin
+ button_set_anti_aliasing#misc#set_sensitive true ;
+ button_set_kerning#misc#set_sensitive true ;
+ button_export_to_postscript#misc#set_sensitive true ;
+ end
+ else
+ begin
+ button_set_anti_aliasing#misc#set_sensitive false ;
+ button_set_kerning#misc#set_sensitive false ;
+ button_export_to_postscript#misc#set_sensitive false ;
+ end