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