<?xml version="1.0" encoding="UTF-8"?>
<interface>
  <requires lib="gtk+" version="2.16"/>
  <!-- interface-requires gladevcp 0.0 -->
  <!-- interface-naming-policy project-wide -->
  <object class="GtkAdjustment" id="adj-tool-number">
    <property name="lower">1</property>
    <property name="upper">8</property>
    <property name="value">1</property>
    <property name="step_increment">1.0000000279396772</property>
    <property name="page_increment">2</property>
  </object>
  <object class="GtkWindow" id="window1">
    <property name="can_focus">False</property>
    <child>
      <object class="HAL_SpinButton" id="spb-tool-number">
        <property name="visible">True</property>
        <property name="can_focus">True</property>
        <property name="editable">False</property>
        <property name="invisible_char">●</property>
        <property name="overwrite_mode">True</property>
        <property name="invisible_char_set">True</property>
        <property name="primary_icon_activatable">False</property>
        <property name="secondary_icon_activatable">False</property>
        <property name="primary_icon_sensitive">True</property>
        <property name="secondary_icon_sensitive">True</property>
        <property name="adjustment">adj-tool-number</property>
        <property name="snap_to_ticks">True</property>
        <property name="numeric">True</property>
        <property name="wrap">True</property>
        <property name="update_policy">if-valid</property>
      </object>
    </child>
  </object>
</interface>
