Branch: Tag:

2005-11-04

2005-11-04 13:44:23 by Lance Dillon <riffraff169@yahoo.com>

Added files for gtkdatabox and gtksourceview

Rev: src/post_modules/GTK2/source/gtkdatabox.pre:1.1
Rev: src/post_modules/GTK2/source/gtkkeywordlisttag.pre:1.1
Rev: src/post_modules/GTK2/source/gtkoptionmenu.pre:1.1
Rev: src/post_modules/GTK2/source/gtkpatterntag.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcebuffer.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourceiter.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcelanguage.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcelanguagesmanager.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcemarker.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourceprintjob.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcestylescheme.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcetag.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourcetagtable.pre:1.1
Rev: src/post_modules/GTK2/source/gtksourceview.pre:1.1
Rev: src/post_modules/GTK2/source/gtkstringtag.pre:1.1
Rev: src/post_modules/GTK2/source/gtksyntaxtag.pre:1.1

1: + require gtksourceview;    -  + class GTK2.SourceMarker; +  + %{ + #include "gtksourceview/gtksourceview.h" + #include "gtksourceview/gtksourcemarker.h" + %} +  + void set_marker_type(string type); + //! Not documented. +  + string get_marker_type(); + //! Gets the marker type of this marker. +  + int get_line(); + //! Gets the line number of this marker. +  + string get_name(); + //! Gets the name of this marker. +  + GTK2.SourceBuffer get_buffer(); + //! Gets the buffer associated with this marker. +  + GTK2.SourceMarker next(); + //! Gets the next marker after this. +  + GTK2.SourceMarker prev(); + //! Gets the previous marker before this.   Newline at end of file added.