1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
//! 
//! 
//! 
 
inherit GTK2.TextMark; 
 
string get_category( ); 
//! Gets the category type of this marker. 
//! 
//! 
 
GTK2.SourceMark next( string category ); 
//! Gets the next marker of the specified category after this. 
//! 
//! 
 
GTK2.SourceMark prev( string category ); 
//! Gets the previous marker of the specified category before this. 
//! 
//!