PHP-GTK : PHP-GTK 2 Manual : GtkSourceMarker::get_marker_type

	Monday, May 20, 2013
	download \| documentation \| applications \| faq \| changelog \| resources

search for in the

GtkSourceMarker::get_line	GtkSourceMarker::next

Last updated: Sun, 12 May 2013 view this page in English

GtkSourceMarker::get_marker_type

void get_marker_type();

User Contributed Notes sourceview.gtksourcemarker.method.get_marker_type.php
There are no user contributed notes for this page.

GtkSourceMarker::get_line	GtkSourceMarker::next

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