PHP-GTK Manual - Set the font of some style.


Prev	GtkScintilla::style_set_font	Next

GtkScintilla::style_set_font

void style_set_font(int style, string font_name);

Set the font of some style.

// GtkScintillaStyle
define(  "SCINTILLA_STYLE_DEFAULT",   32 ); 
$scintilla->style_set_font(SCINTILLA_STYLE_DEFAULT, '-*-luxisans-medium-r-normal-*-18-*-*-*-*-*-*');

Prev	Home	Next
GtkScintilla::style_set_size	Up	GtkScintilla::style_set_eol_filled

Networksites:

Buy domain name registration from $3.95

Quotes:

One-third of the people in this country promote, while the other two-thirds provide.

Disclaimer: This documentation is provided only for the benefits of our webhosting customers.
For authoritative source of the documentation, please refer to http://gtk.php.net/docs.php