pike.git / src / post_modules / GTK2 / source / gtksourcemarker.pre

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtksourcemarker.pre:1:   /* -*- C -*- */   require gtksourceview;      class GTK2.SourceMarker; + //! + require gtksourceview20; + /* Backward compat. */ + inherit GTK2.SourceMark;    -  + string get_marker_type() + //! Gets the marker type of this marker. + { +  pgtk2_verify_inited(); +  { +  const gchar *res = gtk_source_mark_get_category(GTK_SOURCE_MARK(THIS->obj)); +  my_pop_n_elems(args); +  PGTK_PUSH_GCHAR(res); +  } + } + endrequire; + not gtksourceview20; + inherit GTK2.TextMark; +    %{   #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.