PHP-GTK Manual - GtkScintilla::marker_delete


Prev	GtkScintilla::marker_delete_all	Next

GtkScintilla::marker_delete_all

void marker_delete_all(int marker_number);

Removes all line markers of a specific type, for markers table, see marker_define()

// adding marker 1 at line 4...
$scintilla->marker_add(4, 1);

// adding marker 1 at line 6...
$scintilla->marker_add(6, 1);

// adding marker 1 at line 8...
$scintilla->marker_add(8, 1);

// adding marker 2 at line 5...
$scintilla->marker_add(5, 2);

// removes all markers "1"...
$scintilla->marker_delete_all(1);

Prev	Home	Next
GtkScintilla::marker_delete	Up	GtkScintilla::marker_get