1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
29
  
30
  
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.