Prev
GtkScintilla::set_margin_left
Next
GtkScintilla::set_margin_left
void set_margin_left(int
pixel_width
);
Prev
Home
Next
GtkScintilla::get_line_count
Up
GtkScintilla::get_margin_left