2014-07-09 19:42:55 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!-- Generated with glade 3.18.1 -->
|
|
|
|
<interface>
|
|
|
|
<requires lib="gtk+" version="3.12"/>
|
|
|
|
<object class="GtkAdjustment" id="adjustment_context">
|
|
|
|
<property name="upper">12</property>
|
|
|
|
<property name="value">3</property>
|
|
|
|
<property name="step_increment">1</property>
|
|
|
|
<property name="page_increment">3</property>
|
|
|
|
</object>
|
2014-07-10 14:27:39 +00:00
|
|
|
<object class="GtkAdjustment" id="adjustment_tab_width">
|
|
|
|
<property name="lower">1</property>
|
|
|
|
<property name="upper">16</property>
|
|
|
|
<property name="value">4</property>
|
|
|
|
<property name="step_increment">1</property>
|
|
|
|
<property name="page_increment">4</property>
|
|
|
|
</object>
|
2014-07-09 19:42:55 +00:00
|
|
|
<template class="GitgDiffViewOptions" parent="GtkGrid">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
<property name="border_width">12</property>
|
|
|
|
<property name="row_spacing">12</property>
|
|
|
|
<property name="column_spacing">12</property>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSwitch" id="switch_ignore_whitespace">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">1</property>
|
|
|
|
<property name="top_attach">0</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="label_ignore_whitespace">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
2014-07-10 11:56:13 +00:00
|
|
|
<property name="halign">start</property>
|
2014-07-10 14:27:39 +00:00
|
|
|
<property name="hexpand">True</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
<property name="label" translatable="yes">Ignore whitespace changes</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">0</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSwitch" id="switch_changes_inline">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="halign">center</property>
|
|
|
|
<property name="hexpand">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">1</property>
|
|
|
|
<property name="top_attach">1</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="label_changes_inline">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
2014-07-10 11:56:13 +00:00
|
|
|
<property name="halign">start</property>
|
2014-07-10 14:27:39 +00:00
|
|
|
<property name="hexpand">True</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
<property name="label" translatable="yes">Show changes inline</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">1</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
2014-07-10 17:56:24 +00:00
|
|
|
<object class="GtkSeparator" id="separator_first_options">
|
2014-07-09 19:42:55 +00:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">2</property>
|
|
|
|
<property name="width">2</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
2014-07-10 14:27:39 +00:00
|
|
|
<object class="GtkButton" id="button_developer_tools">
|
|
|
|
<property name="label" translatable="yes">Developer tools</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="receives_default">True</property>
|
|
|
|
<property name="relief">none</property>
|
|
|
|
<signal name="clicked" handler="on_button_developer_tools_clicked" swapped="no"/>
|
2014-07-09 19:42:55 +00:00
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
2014-07-10 14:27:39 +00:00
|
|
|
<property name="top_attach">6</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
<property name="width">2</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
2014-07-10 14:27:39 +00:00
|
|
|
<object class="GtkSeparator" id="separator_developer_tools">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">5</property>
|
|
|
|
<property name="width">2</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
2014-07-10 14:27:39 +00:00
|
|
|
<object class="GtkLabel" id="label_context1">
|
2014-07-09 19:42:55 +00:00
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
2014-07-10 14:27:39 +00:00
|
|
|
<property name="halign">start</property>
|
|
|
|
<property name="label" translatable="yes">Tab width</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">4</property>
|
2014-07-10 14:27:39 +00:00
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSpinButton" id="spin_button_tab_width">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="adjustment">adjustment_tab_width</property>
|
|
|
|
<property name="snap_to_ticks">True</property>
|
|
|
|
<property name="numeric">True</property>
|
|
|
|
<property name="value">4</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">1</property>
|
|
|
|
<property name="top_attach">4</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkLabel" id="label_context">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">False</property>
|
|
|
|
<property name="halign">start</property>
|
|
|
|
<property name="hexpand">True</property>
|
|
|
|
<property name="label" translatable="yes">Context</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">0</property>
|
|
|
|
<property name="top_attach">3</property>
|
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
<child>
|
|
|
|
<object class="GtkSpinButton" id="spin_button_context">
|
|
|
|
<property name="visible">True</property>
|
|
|
|
<property name="can_focus">True</property>
|
|
|
|
<property name="input_purpose">digits</property>
|
|
|
|
<property name="adjustment">adjustment_context</property>
|
|
|
|
<property name="snap_to_ticks">True</property>
|
|
|
|
<property name="numeric">True</property>
|
|
|
|
<property name="value">3</property>
|
|
|
|
</object>
|
|
|
|
<packing>
|
|
|
|
<property name="left_attach">1</property>
|
|
|
|
<property name="top_attach">3</property>
|
2014-07-09 19:42:55 +00:00
|
|
|
</packing>
|
|
|
|
</child>
|
|
|
|
</template>
|
|
|
|
</interface>
|