|
a/tool/src/GUI/StudioUI4.form |
|
b/tool/src/GUI/StudioUI4.form |
|
... |
|
... |
26 |
</AuxValues>
|
26 |
</AuxValues>
|
27 |
|
27 |
|
28 |
<Layout>
|
28 |
<Layout>
|
29 |
<DimensionLayout dim="0">
|
29 |
<DimensionLayout dim="0">
|
30 |
<Group type="103" groupAlignment="0" attributes="0">
|
30 |
<Group type="103" groupAlignment="0" attributes="0">
|
31 |
<Group type="102" alignment="0" attributes="0">
|
|
|
32 |
<EmptySpace max="-2" attributes="0"/>
|
|
|
33 |
<Component id="jSplitPane1" pref="608" max="32767" attributes="0"/>
|
31 |
<Component id="jSplitPane1" alignment="1" pref="714" max="32767" attributes="0"/>
|
34 |
<EmptySpace max="-2" attributes="0"/>
|
|
|
35 |
</Group>
|
|
|
36 |
</Group>
|
32 |
</Group>
|
37 |
</DimensionLayout>
|
33 |
</DimensionLayout>
|
38 |
<DimensionLayout dim="1">
|
34 |
<DimensionLayout dim="1">
|
39 |
<Group type="103" groupAlignment="0" attributes="0">
|
35 |
<Group type="103" groupAlignment="0" attributes="0">
|
40 |
<Group type="102" alignment="1" attributes="0">
|
|
|
41 |
<EmptySpace max="-2" attributes="0"/>
|
|
|
42 |
<Component id="jSplitPane1" pref="357" max="32767" attributes="0"/>
|
36 |
<Component id="jSplitPane1" alignment="1" pref="490" max="32767" attributes="0"/>
|
43 |
<EmptySpace max="-2" attributes="0"/>
|
|
|
44 |
</Group>
|
|
|
45 |
</Group>
|
37 |
</Group>
|
46 |
</DimensionLayout>
|
38 |
</DimensionLayout>
|
47 |
</Layout>
|
39 |
</Layout>
|
48 |
<SubComponents>
|
40 |
<SubComponents>
|
49 |
<Container class="javax.swing.JSplitPane" name="jSplitPane1">
|
41 |
<Container class="javax.swing.JSplitPane" name="jSplitPane1">
|
|
... |
|
... |
76 |
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
|
68 |
<Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
|
77 |
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
|
69 |
<Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
|
78 |
<EmptyBorder bottom="5" left="2" right="5" top="3"/>
|
70 |
<EmptyBorder bottom="5" left="2" right="5" top="3"/>
|
79 |
</Border>
|
71 |
</Border>
|
80 |
</Property>
|
72 |
</Property>
|
|
|
73 |
<Property name="autoscrolls" type="boolean" value="true"/>
|
81 |
<Property name="largeModel" type="boolean" value="true"/>
|
74 |
<Property name="largeModel" type="boolean" value="true"/>
|
82 |
<Property name="rootVisible" type="boolean" value="false"/>
|
75 |
<Property name="rootVisible" type="boolean" value="false"/>
|
83 |
<Property name="rowHeight" type="int" value="18"/>
|
76 |
<Property name="rowHeight" type="int" value="18"/>
|
84 |
<Property name="toggleClickCount" type="int" value="1"/>
|
77 |
<Property name="toggleClickCount" type="int" value="1"/>
|
85 |
</Properties>
|
78 |
</Properties>
|
|
... |
|
... |
100 |
<Layout>
|
93 |
<Layout>
|
101 |
<DimensionLayout dim="0">
|
94 |
<DimensionLayout dim="0">
|
102 |
<Group type="103" groupAlignment="0" attributes="0">
|
95 |
<Group type="103" groupAlignment="0" attributes="0">
|
103 |
<Component id="jScrollPane2" max="32767" attributes="0"/>
|
96 |
<Component id="jScrollPane2" max="32767" attributes="0"/>
|
104 |
<Group type="102" attributes="0">
|
97 |
<Group type="102" attributes="0">
|
105 |
<Component id="button" min="-2" pref="43" max="-2" attributes="0"/>
|
98 |
<Component id="button" min="-2" pref="31" max="-2" attributes="0"/>
|
106 |
<EmptySpace max="-2" attributes="0"/>
|
99 |
<EmptySpace max="-2" attributes="0"/>
|
107 |
<Component id="search" max="32767" attributes="0"/>
|
100 |
<Component id="search" max="32767" attributes="0"/>
|
108 |
<EmptySpace max="-2" attributes="0"/>
|
101 |
<EmptySpace max="-2" attributes="0"/>
|
109 |
<Component id="button1" min="-2" pref="43" max="-2" attributes="0"/>
|
102 |
<Component id="button1" min="-2" pref="43" max="-2" attributes="0"/>
|
|
|
103 |
<EmptySpace max="-2" attributes="0"/>
|
110 |
</Group>
|
104 |
</Group>
|
111 |
</Group>
|
105 |
</Group>
|
112 |
</DimensionLayout>
|
106 |
</DimensionLayout>
|
113 |
<DimensionLayout dim="1">
|
107 |
<DimensionLayout dim="1">
|
114 |
<Group type="103" groupAlignment="0" attributes="0">
|
108 |
<Group type="103" groupAlignment="0" attributes="0">
|
115 |
<Group type="102" alignment="0" attributes="0">
|
109 |
<Group type="102" alignment="0" attributes="0">
|
|
|
110 |
<EmptySpace min="-2" pref="5" max="-2" attributes="0"/>
|
116 |
<Group type="103" groupAlignment="1" attributes="0">
|
111 |
<Group type="103" groupAlignment="0" attributes="0">
|
117 |
<Component id="button1" min="-2" pref="39" max="-2" attributes="0"/>
|
|
|
118 |
<Group type="103" alignment="1" groupAlignment="0" max="-2" attributes="0">
|
112 |
<Group type="103" groupAlignment="0" max="-2" attributes="0">
|
119 |
<Component id="button" alignment="1" max="32767" attributes="0"/>
|
113 |
<Component id="button" alignment="1" max="32767" attributes="0"/>
|
120 |
<Component id="search" alignment="1" pref="34" max="32767" attributes="0"/>
|
114 |
<Component id="search" alignment="1" pref="34" max="32767" attributes="0"/>
|
121 |
</Group>
|
115 |
</Group>
|
|
|
116 |
<Component id="button1" min="-2" pref="39" max="-2" attributes="0"/>
|
122 |
</Group>
|
117 |
</Group>
|
123 |
<EmptySpace max="-2" attributes="0"/>
|
118 |
<EmptySpace max="-2" attributes="0"/>
|
124 |
<Component id="jScrollPane2" pref="312" max="32767" attributes="0"/>
|
119 |
<Component id="jScrollPane2" pref="440" max="32767" attributes="0"/>
|
125 |
</Group>
|
120 |
</Group>
|
126 |
</Group>
|
121 |
</Group>
|
127 |
</DimensionLayout>
|
122 |
</DimensionLayout>
|
128 |
</Layout>
|
123 |
</Layout>
|
129 |
<SubComponents>
|
124 |
<SubComponents>
|