Prev GtkScintilla::set_margin_right Next

GtkScintilla::set_margin_right

void set_margin_right(int pixel_width);

Prev Home Next
GtkScintilla::get_margin_left Up GtkScintilla::get_margin_right