--- a/tool/src/GUI/StudioUI4.form
+++ b/tool/src/GUI/StudioUI4.form
@@ -28,20 +28,12 @@
<Layout>
<DimensionLayout dim="0">
<Group type="103" groupAlignment="0" attributes="0">
- <Group type="102" alignment="0" attributes="0">
- <EmptySpace max="-2" attributes="0"/>
- <Component id="jSplitPane1" pref="608" max="32767" attributes="0"/>
- <EmptySpace max="-2" attributes="0"/>
- </Group>
+ <Component id="jSplitPane1" alignment="1" pref="714" max="32767" attributes="0"/>
</Group>
</DimensionLayout>
<DimensionLayout dim="1">
<Group type="103" groupAlignment="0" attributes="0">
- <Group type="102" alignment="1" attributes="0">
- <EmptySpace max="-2" attributes="0"/>
- <Component id="jSplitPane1" pref="357" max="32767" attributes="0"/>
- <EmptySpace max="-2" attributes="0"/>
- </Group>
+ <Component id="jSplitPane1" alignment="1" pref="490" max="32767" attributes="0"/>
</Group>
</DimensionLayout>
</Layout>
@@ -78,6 +70,7 @@
<EmptyBorder bottom="5" left="2" right="5" top="3"/>
</Border>
</Property>
+ <Property name="autoscrolls" type="boolean" value="true"/>
<Property name="largeModel" type="boolean" value="true"/>
<Property name="rootVisible" type="boolean" value="false"/>
<Property name="rowHeight" type="int" value="18"/>
@@ -102,26 +95,28 @@
<Group type="103" groupAlignment="0" attributes="0">
<Component id="jScrollPane2" max="32767" attributes="0"/>
<Group type="102" attributes="0">
- <Component id="button" min="-2" pref="43" max="-2" attributes="0"/>
+ <Component id="button" min="-2" pref="31" max="-2" attributes="0"/>
<EmptySpace max="-2" attributes="0"/>
<Component id="search" max="32767" attributes="0"/>
<EmptySpace max="-2" attributes="0"/>
<Component id="button1" min="-2" pref="43" max="-2" attributes="0"/>
+ <EmptySpace max="-2" attributes="0"/>
</Group>
</Group>
</DimensionLayout>
<DimensionLayout dim="1">
<Group type="103" groupAlignment="0" attributes="0">
<Group type="102" alignment="0" attributes="0">
- <Group type="103" groupAlignment="1" attributes="0">
- <Component id="button1" min="-2" pref="39" max="-2" attributes="0"/>
- <Group type="103" alignment="1" groupAlignment="0" max="-2" attributes="0">
+ <EmptySpace min="-2" pref="5" max="-2" attributes="0"/>
+ <Group type="103" groupAlignment="0" attributes="0">
+ <Group type="103" groupAlignment="0" max="-2" attributes="0">
<Component id="button" alignment="1" max="32767" attributes="0"/>
<Component id="search" alignment="1" pref="34" max="32767" attributes="0"/>
</Group>
+ <Component id="button1" min="-2" pref="39" max="-2" attributes="0"/>
</Group>
<EmptySpace max="-2" attributes="0"/>
- <Component id="jScrollPane2" pref="312" max="32767" attributes="0"/>
+ <Component id="jScrollPane2" pref="440" max="32767" attributes="0"/>
</Group>
</Group>
</DimensionLayout>