|
a/tool/src/GUI/StudioUI4.form |
|
b/tool/src/GUI/StudioUI4.form |
|
... |
|
... |
| 6 |
<Property name="title" type="java.lang.String" value="TripleCheck"/>
|
6 |
<Property name="title" type="java.lang.String" value="TripleCheck"/>
|
| 7 |
<Property name="locationByPlatform" type="boolean" value="true"/>
|
7 |
<Property name="locationByPlatform" type="boolean" value="true"/>
|
| 8 |
</Properties>
|
8 |
</Properties>
|
| 9 |
<SyntheticProperties>
|
9 |
<SyntheticProperties>
|
| 10 |
<SyntheticProperty name="formSizePolicy" type="int" value="1"/>
|
10 |
<SyntheticProperty name="formSizePolicy" type="int" value="1"/>
|
| 11 |
<SyntheticProperty name="generateCenter" type="boolean" value="false"/>
|
|
|
| 12 |
</SyntheticProperties>
|
11 |
</SyntheticProperties>
|
| 13 |
<Events>
|
12 |
<Events>
|
| 14 |
<EventHandler event="keyPressed" listener="java.awt.event.KeyListener" parameters="java.awt.event.KeyEvent" handler="frameKeypressed"/>
|
13 |
<EventHandler event="keyPressed" listener="java.awt.event.KeyListener" parameters="java.awt.event.KeyEvent" handler="frameKeypressed"/>
|
| 15 |
</Events>
|
14 |
</Events>
|
| 16 |
<AuxValues>
|
15 |
<AuxValues>
|
|
... |
|
... |
| 92 |
|
91 |
|
| 93 |
<Layout>
|
92 |
<Layout>
|
| 94 |
<DimensionLayout dim="0">
|
93 |
<DimensionLayout dim="0">
|
| 95 |
<Group type="103" groupAlignment="0" attributes="0">
|
94 |
<Group type="103" groupAlignment="0" attributes="0">
|
| 96 |
<Component id="jScrollPane2" max="32767" attributes="0"/>
|
95 |
<Component id="jScrollPane2" max="32767" attributes="0"/>
|
| 97 |
<Group type="102" attributes="0">
|
96 |
<Group type="102" alignment="0" attributes="0">
|
|
|
97 |
<EmptySpace max="-2" attributes="0"/>
|
| 98 |
<Component id="button" min="-2" pref="31" max="-2" attributes="0"/>
|
98 |
<Component id="button" min="-2" pref="41" max="-2" attributes="0"/>
|
| 99 |
<EmptySpace max="-2" attributes="0"/>
|
99 |
<EmptySpace max="-2" attributes="0"/>
|
| 100 |
<Component id="search" max="32767" attributes="0"/>
|
100 |
<Component id="search" max="32767" attributes="0"/>
|
| 101 |
<EmptySpace max="-2" attributes="0"/>
|
101 |
<EmptySpace max="-2" attributes="0"/>
|
| 102 |
<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"/>
|
103 |
<EmptySpace max="-2" attributes="0"/>
|