Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
Gnome
Gnome.Less

Methods
 clear()
 create()
 reshow()
 set_fixed_font()
 set_font()
 show_command()
 show_file()
 show_filestream()
 show_string()
 write_file()
 write_filestream()
previousGnome.Less()->set_fixed_font()
Gnome.Less()->show_command()next

Method Gnome.Less()->set_font()

Method set_font

Gnome.Less set_font(GDK.Font font)

Description

Sets the font of the text to be displayed in the GnomeLess widget gl to font. Note: This will not affect text already being displayed. If you use this function after adding text to the widget, you must show it again by using reshow or one of the show commands.