man GMisc.font_selection () - A widget for selecting fonts.
NAME
GMisc.font_selection - A widget for selecting fonts.
Class
Class GMisc.font_selection
Documentation
class font_selection : Gtk.font_selection Gtk.obj -> object end
A widget for selecting fonts.
Parameters:
- ""
Gtk.font_selection Gtk.obj
val obj : Gtk.font_selection Gtk.obj
method event : GObj.event_ops
method font_name : string
method preview_text : string
method set_border_width : int -> unit
method set_font_name : string -> unit
method set_preview_text : string -> unit