Prev GtkScintilla::set_caret_width Next

GtkScintilla::set_caret_width

void set_caret_width(int pixel_width);

Prev Home Next
GtkScintilla::get_overtype Up GtkScintilla::get_caret_width