Sunday, May 19, 2013
download
|
documentation
|
applications
|
faq
|
changelog
|
resources
search for
in the
PHP-GTK 2 manual
PHP-GTK 1 manual
whole site
general mailing list
development mailing list
documentation mailing list
lookup:
PHP-GTK 2 Manual
GtkSourceView
get_auto_indent
get_highlight_current_line
get_insert_spaces_instead_of_tabs
get_margin
get_marker_pixbuf
get_show_line_markers
get_show_line_numbers
get_show_margin
get_smart_home_end
get_tabs_width
set_auto_indent
set_highlight_current_line
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
get_auto_indent
get_highlight_current_line
get_insert_spaces_instead_of_tabs
get_margin
get_marker_pixbuf
get_show_line_markers
get_show_line_numbers
get_show_margin
get_smart_home_end
get_tabs_width
set_auto_indent
set_highlight_current_line
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
GtkSourceView::get_insert_spaces_instead_of_tabs
GtkSourceView::get_marker_pixbuf
Last updated: Sun, 12 May 2013
view this page in
English
GtkSourceView::get_margin
void get_margin();
User Contributed Notes
sourceview.gtksourceview.method.get_margin.php
There are no user contributed notes for this page.
GtkSourceView::get_insert_spaces_instead_of_tabs
GtkSourceView::get_marker_pixbuf
Last updated: Sun, 12 May 2013
view this page in
English
credits
Copyright © 2001-2013 The PHP Group
All rights reserved.
Last updated: Sun May 12 18:51:01 2013 UTC