GMisc.font_selection3o
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
Releases
3 releases since Debian 3.1 (Sarge); the text changed 2 times.