<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkSourceViewProps.SourceView.P</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> auto_indent : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> highlight_current_line : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> insert_spaces_instead_of_tabs :<br> ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> margin : ([> <span class="keywordsign">`</span>sourceview ], int) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> show_line_markers : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> show_line_numbers : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> show_margin : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> smart_home_end : ([> <span class="keywordsign">`</span>sourceview ], bool) <span class="constructor">Gobject</span>.property<br> <span class="keyword">val</span> tabs_width : ([> <span class="keywordsign">`</span>sourceview ], int) <span class="constructor">Gobject</span>.property<br> <span class="keyword">end</span></code></body></html>