1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
//! 
//! 
//! 
 
inherit GTK2.SourceMark; 
 
string get_marker_type( ); 
//! Gets the marker type of this marker. 
//! 
//!