<?xml version="1.0" encoding="UTF-8"?> <!-- Generated with glade 3.21.0 --> <interface> <requires lib="gtk+" version="3.20"/> <object class="GtkListStore" id="colored_label_types"> <columns> <!-- column-name name --> <column type="gchararray"/> </columns> <data> <row> <col id="0" translatable="yes">global colored labels</col> </row> <row> <col id="0" translatable="yes">colored labels for symbols</col> </row> <row> <col id="0" translatable="yes">colored labels for basic blocks</col> </row> </data> </object> <object class="GtkTreeStore" id="pref_list"> <columns> <!-- column-name title --> <column type="gchararray"/> <!-- column-name panel --> <column type="GObject"/> </columns> </object> <object class="GtkDialog" id="window"> <property name="can_focus">False</property> <property name="title" translatable="yes">General preferences</property> <property name="modal">True</property> <property name="default_width">800</property> <property name="default_height">500</property> <property name="type_hint">dialog</property> <child internal-child="vbox"> <object class="GtkBox"> <property name="can_focus">False</property> <property name="orientation">vertical</property> <property name="spacing">2</property> <child internal-child="action_area"> <object class="GtkButtonBox"> <property name="can_focus">False</property> <property name="margin_left">8</property> <property name="margin_right">8</property> <property name="margin_top">8</property> <property name="margin_bottom">8</property> <property name="layout_style">end</property> <child> <object class="GtkButton" id="button1"> <property name="label">gtk-cancel</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_stock">True</property> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkButton" id="button2"> <property name="label">gtk-apply</property> <property name="visible">True</property> <property name="can_focus">True</property> <property name="receives_default">True</property> <property name="use_stock">True</property> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">False</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkPaned"> <property name="visible">True</property> <property name="can_focus">True</property> <property name="position">200</property> <property name="wide_handle">True</property> <child> <object class="GtkScrolledWindow"> <property name="visible">True</property> <property name="can_focus">True</property> <property name="margin_left">8</property> <property name="margin_right">8</property> <property name="margin_top">8</property> <property name="shadow_type">in</property> <child> <object class="GtkTreeView"> <property name="visible">True</property> <property name="can_focus">True</property> <property name="model">pref_list</property> <property name="headers_visible">False</property> <child internal-child="selection"> <object class="GtkTreeSelection"/> </child> <child> <object class="GtkTreeViewColumn"> <property name="title" translatable="yes">column</property> <child> <object class="GtkCellRendererText"/> <attributes> <attribute name="text">0</attribute> </attributes> </child> </object> </child> </object> </child> </object> <packing> <property name="resize">False</property> <property name="shrink">True</property> </packing> </child> <child> <object class="GtkStack"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="margin_left">8</property> <property name="margin_right">8</property> <property name="margin_top">8</property> <child> <object class="GtkBox" id="colored_labels_panel"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <property name="spacing">8</property> <child> <object class="GtkBox"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="spacing">8</property> <child> <object class="GtkLabel"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="label" translatable="yes">Specify:</property> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkComboBox" id="colored_labels_combo"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="model">colored_label_types</property> <child> <object class="GtkCellRendererText"/> <attributes> <attribute name="text">0</attribute> </attributes> </child> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkBox"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="spacing">8</property> <child> <object class="GtkScrolledWindow"> <property name="visible">True</property> <property name="can_focus">True</property> <property name="shadow_type">in</property> <child> <object class="GtkTreeView"> <property name="visible">True</property> <property name="can_focus">True</property> <child internal-child="selection"> <object class="GtkTreeSelection"/> </child> </object> </child> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> <object class="GtkToolbar"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="orientation">vertical</property> <property name="toolbar_style">icons</property> <property name="show_arrow">False</property> <property name="icon_size">4</property> <child> <object class="GtkToolButton" id="colored_label_add"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="use_underline">True</property> <property name="icon_name">list-add</property> </object> <packing> <property name="expand">False</property> <property name="homogeneous">True</property> </packing> </child> <child> <object class="GtkToolButton" id="colored_label_remove"> <property name="visible">True</property> <property name="can_focus">False</property> <property name="use_underline">True</property> <property name="icon_name">list-remove</property> </object> <packing> <property name="expand">False</property> <property name="homogeneous">True</property> </packing> </child> </object> <packing> <property name="expand">False</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> <packing> <property name="name">page0</property> <property name="title" translatable="yes">page0</property> </packing> </child> </object> <packing> <property name="resize">True</property> <property name="shrink">True</property> </packing> </child> </object> <packing> <property name="expand">True</property> <property name="fill">True</property> <property name="position">1</property> </packing> </child> </object> </child> <action-widgets> <action-widget response="-6">button1</action-widget> <action-widget response="-10">button2</action-widget> </action-widgets> <child> <placeholder/> </child> </object> </interface>