minor UI improvements

parent 7804cb18
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.20.0 -->
<!-- Generated with glade 3.22.1 -->
<interface>
<requires lib="gtk+" version="3.6"/>
<object class="GtkAdjustment" id="advanced.adjustment.history_size">
......@@ -762,6 +762,9 @@
<property name="can_focus">False</property>
<property name="title" translatable="yes">BashStyle-NG Toolbox</property>
<property name="icon_name">bs-ng-toolbox</property>
<child>
<placeholder/>
</child>
<child>
<object class="GtkGrid" id="toolbox.grid">
<property name="visible">True</property>
......@@ -1291,13 +1294,17 @@
<property name="page_increment">10</property>
</object>
<object class="GtkWindow" id="bashstyle">
<property name="width_request">590</property>
<property name="width_request">750</property>
<property name="visible">True</property>
<property name="can_focus">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="title" translatable="yes">BashStyle-NG</property>
<property name="icon_name">bs-ng</property>
<property name="gravity">south-east</property>
<property name="has_resize_grip">True</property>
<child>
<placeholder/>
</child>
<child>
<object class="GtkBox" id="bashstyle.box">
<property name="visible">True</property>
......@@ -6508,6 +6515,7 @@
<object class="GtkGrid" id="cpb.grid">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="hexpand">True</property>
<child>
<object class="GtkLabel" id="cpb.label.ps">
<property name="visible">True</property>
......@@ -6546,6 +6554,9 @@
<object class="GtkScrolledWindow" id="prompt_command.scrolledwindow">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="margin_left">10</property>
<property name="margin_right">10</property>
<property name="hexpand">True</property>
<property name="shadow_type">in</property>
<property name="min_content_width">585</property>
<property name="min_content_height">125</property>
......@@ -6577,6 +6588,9 @@
<object class="GtkScrolledWindow" id="custom_prompt.scrolledwindow">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="margin_left">10</property>
<property name="margin_right">10</property>
<property name="hexpand">True</property>
<property name="shadow_type">in</property>
<property name="min_content_width">585</property>
<property name="min_content_height">125</property>
......@@ -6586,7 +6600,6 @@
<property name="can_focus">False</property>
<child>
<object class="GtkTextView" id="custom_prompt">
<property name="width_request">550</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="margin_left">4</property>
......@@ -6762,6 +6775,7 @@
<object class="GtkBox" id="box2">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="valign">center</property>
<property name="margin_left">5</property>
<child>
<object class="GtkLabel" id="label27">
......@@ -8622,7 +8636,7 @@ assuming /usr was the chosen install prefix. </property>
</child>
</object>
<packing>
<property name="expand">False</property>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">1</property>
</packing>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment