864 lines
52 KiB
XML
864 lines
52 KiB
XML
<?xml version="1.0"?>
|
|
<glade-interface>
|
|
<!-- interface-requires gtk+ 2.16 -->
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
|
<widget class="GtkWindow" id="mainWindow">
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="window_position">center-always</property>
|
|
<property name="icon">/usr/lib/linuxmint/mintSystem/icon.png</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<child>
|
|
<widget class="GtkNotebook" id="notebook1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">6</property>
|
|
<property name="tab_border">0</property>
|
|
<property name="tab_hborder">0</property>
|
|
<property name="tab_vborder">0</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame18">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0.5</property>
|
|
<property name="shadow_type">none</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table1">
|
|
<property name="visible">True</property>
|
|
<property name="n_rows">5</property>
|
|
<property name="n_columns">3</property>
|
|
<property name="homogeneous">True</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="showButtonIcon">
|
|
<property name="label" translatable="yes">Show button icon</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="yalign">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="buttonTextLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Button text:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="hotkey_label">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Keyboard shortcut:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label44">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="xpad">5</property>
|
|
<property name="label" translatable="yes">Icon Size:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label4">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Button icon:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="main_button_icon_size">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">2 1 3 1 0 0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="buttonText">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="hotkeyText">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="buttonIcon">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkImage" id="image_button_icon">
|
|
<property name="visible">True</property>
|
|
<property name="stock">gtk-missing-image</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">2</property>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options"></property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label3">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="label" translatable="yes">Main button</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="tab_fill">False</property>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox10">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">6</property>
|
|
<property name="spacing">3</property>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox11">
|
|
<property name="visible">True</property>
|
|
<property name="spacing">5</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox11">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame17">
|
|
<property name="visible">True</property>
|
|
<property name="label_xalign">0</property>
|
|
<property name="shadow_type">none</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment38">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table26">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">3</property>
|
|
<property name="n_rows">3</property>
|
|
<property name="n_columns">3</property>
|
|
<property name="row_spacing">5</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="showSidepane">
|
|
<property name="label" translatable="yes">Show sidepane</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_underline">True</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label11">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Border width:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="borderWidth">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">0 0 10 1 0 0</property>
|
|
<property name="climb_rate">1</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="label" translatable="yes">px</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">2</property>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="showRecentPlugin">
|
|
<property name="label" translatable="yes">Show recent documents</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">3</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="padding">5</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="padding">6</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label1">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="label" translatable="yes">Options</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
<property name="tab_fill">False</property>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHBox" id="hbox23">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="spacing">4</property>
|
|
<property name="homogeneous">True</property>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame25">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0</property>
|
|
<property name="shadow_type">none</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table17">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="n_rows">6</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="row_spacing">5</property>
|
|
<property name="homogeneous">True</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="iconSizeLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Icon size:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="iconSize">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">1 1 4 1 0 0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="showCategoryIcons">
|
|
<property name="label" translatable="yes">Show category icons</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="showAppComments">
|
|
<property name="label" translatable="yes">Show application comments</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="hover">
|
|
<property name="label" translatable="yes">Hover</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="hoverLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Hover delay (seconds):</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="hoverDelay">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">100 0 1000 1 2 2</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label5">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Search command:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">5</property>
|
|
<property name="bottom_attach">6</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkEntry" id="search_command">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_STRUCTURE_MASK</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">5</property>
|
|
<property name="bottom_attach">6</property>
|
|
<property name="x_options"></property>
|
|
<property name="y_options"></property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="applicationsLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="padding">5</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label23">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="label" translatable="yes">Applications</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
<property name="tab_fill">False</property>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame19">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">6</property>
|
|
<property name="label_xalign">0</property>
|
|
<property name="label_yalign">0</property>
|
|
<property name="shadow_type">none</property>
|
|
<child>
|
|
<widget class="GtkAlignment" id="alignment43">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="bottom_padding">6</property>
|
|
<property name="left_padding">6</property>
|
|
<property name="right_padding">6</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="vbox13">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="useCustomColors">
|
|
<property name="label" translatable="yes">Use custom colors</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="padding">5</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkTable" id="table29">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="n_rows">3</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="row_spacing">2</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="headingColorLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Headings:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="borderColorLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Borders:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="backgroundColorLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Background:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkColorButton" id="borderColor">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="color">#000000000000</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkColorButton" id="backgroundColor">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="color">#000000000000</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkColorButton" id="headingColor">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="color">#000000000000</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="label31">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">3</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="colorsLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="label" translatable="yes">Colors</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">3</property>
|
|
<property name="tab_fill">False</property>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkFrame" id="frame26">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">3</property>
|
|
<property name="label_xalign">0</property>
|
|
<property name="shadow_type">none</property>
|
|
<child>
|
|
<widget class="GtkTable" id="table18">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="n_rows">3</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="column_spacing">5</property>
|
|
<property name="row_spacing">5</property>
|
|
<child>
|
|
<widget class="GtkLabel" id="numberColumnsLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Number of columns:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="numFavCols">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">1 1 4 1 0 0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="iconSizeLabel2">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes">Icon size:</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkSpinButton" id="favIconSize">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="adjustment">1 1 4 1 0 0</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkCheckButton" id="swapGeneric">
|
|
<property name="label" translatable="yes">Swap name and generic name</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="draw_indicator">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options">GTK_FILL</property>
|
|
<property name="x_padding">5</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="favoritesLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="use_markup">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="type">label_item</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">4</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkLabel" id="favLabel">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="label" translatable="yes">Favorites</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">4</property>
|
|
<property name="tab_fill">False</property>
|
|
<property name="type">tab</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="padding">2</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHButtonBox" id="hbuttonbox1">
|
|
<property name="visible">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="border_width">3</property>
|
|
<property name="layout_style">spread</property>
|
|
<child>
|
|
<widget class="GtkButton" id="closeButton">
|
|
<property name="label" translatable="yes">gtk-close</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="receives_default">True</property>
|
|
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
|
<property name="use_stock">True</property>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
</widget>
|
|
</child>
|
|
</widget>
|
|
</glade-interface>
|