/ lib / python / gladevcp / gtksourceview.xml
gtksourceview.xml
 1  <?xml version="1.0" encoding="UTF-8"?>
 2  
 3  <glade-catalog name="gtksourceview" library="gtksourceview-2.0" depends="gtk+">
 4    <glade-widget-classes>
 5      <glade-widget-class name="GtkSourceView" title="GtkSourceView" generic-name="gtksourceview">
 6        <properties>
 7          <property id="auto-indent" common="True" default="True" />
 8          <property id="highlight-current-line" common="False" default="False" />
 9          <property id="indent-on-tab" common="False" default="False" />
10          <property id="insert-spaces-instead-of-tabs" common="False" default="False" />
11          <property id="right-margin-position" common="False" default="80" />
12          <property id="show-line-marks" common="False" default="False" />
13          <property id="show-line-numbers" common="False" default="False" />
14          <property id="show-right-margin" common="False" default="False" />
15          <property id="smart-home-end" common="True" default="Disabled">
16            <displayable-values>
17              <value id="GTK_SOURCE_SMART_HOME_END_DISABLED" name="Disabled" />
18              <value id="GTK_SOURCE_SMART_HOME_END_BEFORE" name="Before" />
19             <value id="GTK_SOURCE_SMART_HOME_END_AFTER" name="After" />
20              <value id="GTK_SOURCE_SMART_HOME_END_ALWAYS" name="Always" />
21            </displayable-values>
22          </property>
23          <property id="tab-width" common="False" default="4" />
24        </properties>
25      </glade-widget-class>
26    </glade-widget-classes>
27  
28    <glade-widget-group name="GtkSourceView" title="GtkSourceView">
29      <glade-widget-class-ref name="GtkSourceView" />
30    </glade-widget-group>
31  </glade-catalog>