Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK2
GTK2.SourceView

Methods
 create()
 get_auto_indent()
 get_default()
 get_insert_spaces_instead_of_tabs()
 get_margin()
 get_marker_pixbuf()
 get_show_line_numbers()
 get_show_margin()
 get_smart_home_end()
 get_tabs_width()
 set_auto_indent()
 set_insert_spaces_instead_of_tabs()
 set_margin()
 set_marker_pixbuf()
 set_show_line_markers()
 set_show_line_numbers()
 set_show_margin()
 set_smart_home_end()
 set_tabs_width()
previousGTK2.SourceView()->set_show_line_numbers()
GTK2.SourceView()->set_smart_home_end()next

Method GTK2.SourceView()->set_show_margin()

Method set_show_margin

GTK2.SourceView set_show_margin(int setting)

Description

If true, a margin is displayed.