PHP-GTK Manual - GtkScintilla::marker_set


Prev	GtkScintilla::marker_set_back	Next

GtkScintilla::marker_set_back

void marker_set_back(int marker_number, int back);

Set the Background color of a marker, for markers table, see marker_define()

// defining background color of marker 1...
$scintilla->marker_set_back(1, hexdec('0000FF'));

// defining background color of marker 2...
$scintilla->marker_set_back(2, hexdec('0000FF'));

Prev	Home	Next
GtkScintilla::marker_set_fore	Up	GtkScintilla::marker_add

Networksites:

Buy domain name registration from $3.95

Quotes:

It is the province of knowledge to speak And it is the privilege of wisdom to listen.A man's mind, stretched by a new idea, can never go back to its original dimensions.

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