method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1]
method get_font_size : int
method get_frame : GBin.frame
method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1]
method get_font_size : int
method get_frame : GBin.frame