PHP-GTK Manual - GtkScintilla::marker


Prev	GtkScintilla::marker_delete	Next

GtkScintilla::marker_delete

void marker_delete(int line, int marker_number);

Deletes a Marker symbol from the line, for markers table, see marker_define()

// removes the marker 1 from line 4...
$scintilla->marker_delete(4, 1);

Prev	Home	Next
GtkScintilla::marker_add	Up	GtkScintilla::marker_delete_all

Networksites:

Buy domain name registration from $3.95

Quotes:

Talk is cheap, until you talk to a lawyer.

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