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