Mercurial > hg > ltpda-connection-manager

annotate ConnectionManager/src/connectionmanager/DatabaseDialog.form @ 7:ea3ae6ce9fea default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improved Java interface look.
author Daniele Nicolodi <daniele@grinta.net>
date Wed, 23 Nov 2011 20:27:21 +0100
parents 35f1cfcaa5a9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" ?>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
2
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
3 <Form version="1.3" maxVersion="1.7" type="org.netbeans.modules.form.forminfo.JDialogFormInfo">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
4 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
5 <Property name="defaultCloseOperation" type="int" value="2"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
6 <Property name="title" type="java.lang.String" value="Repository Connection"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
7 <Property name="locationByPlatform" type="boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
8 <Property name="modal" type="boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
9 <Property name="resizable" type="boolean" value="false"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
10 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
11 <SyntheticProperties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
12 <SyntheticProperty name="formSizePolicy" type="int" value="1"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
13 </SyntheticProperties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
14 <AuxValues>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
15 <AuxValue name="FormSettings_autoResourcing" type="java.lang.Integer" value="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
16 <AuxValue name="FormSettings_autoSetComponentName" type="java.lang.Boolean" value="false"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
17 <AuxValue name="FormSettings_generateFQN" type="java.lang.Boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
18 <AuxValue name="FormSettings_generateMnemonicsCode" type="java.lang.Boolean" value="false"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
19 <AuxValue name="FormSettings_i18nAutoMode" type="java.lang.Boolean" value="false"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
20 <AuxValue name="FormSettings_layoutCodeTarget" type="java.lang.Integer" value="2"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
21 <AuxValue name="FormSettings_listenerGenerationStyle" type="java.lang.Integer" value="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
22 <AuxValue name="FormSettings_variablesLocal" type="java.lang.Boolean" value="false"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
23 <AuxValue name="FormSettings_variablesModifier" type="java.lang.Integer" value="2"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
24 </AuxValues>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
25
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
26 <Layout>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
27 <DimensionLayout dim="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
28 <Group type="103" groupAlignment="0" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
29 <Group type="102" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
30 <EmptySpace max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
31 <Group type="103" groupAlignment="0" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
32 <Group type="102" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
33 <Component id="jLabel9" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
34 <EmptySpace max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
35 <Group type="103" groupAlignment="0" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
36 <Group type="102" alignment="1" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
37 <Component id="cancelButton" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
38 <EmptySpace max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
39 <Component id="okButton" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
40 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
41 <Component id="hostnameCombo" pref="218" max="32767" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
42 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
43 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
44 <Group type="102" alignment="1" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
45 <Component id="jLabel10" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
46 <EmptySpace min="-2" pref="11" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
47 <Component id="databaseCombo" pref="218" max="32767" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
48 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
49 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
50 <EmptySpace max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
51 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
52 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
53 </DimensionLayout>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
54 <DimensionLayout dim="1">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
55 <Group type="103" groupAlignment="0" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
56 <Group type="102" alignment="0" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
57 <EmptySpace max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
58 <Group type="103" groupAlignment="3" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
59 <Component id="jLabel9" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
60 <Component id="hostnameCombo" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
61 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
62 <EmptySpace type="separate" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
63 <Group type="103" groupAlignment="3" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
64 <Component id="databaseCombo" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
65 <Component id="jLabel10" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
66 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
67 <EmptySpace min="-2" pref="118" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
68 <Group type="103" groupAlignment="3" attributes="0">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
69 <Component id="okButton" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
70 <Component id="cancelButton" alignment="3" min="-2" max="-2" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
71 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
72 <EmptySpace pref="34" max="32767" attributes="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
73 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
74 </Group>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
75 </DimensionLayout>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
76 </Layout>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
77 <SubComponents>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
78 <Component class="javax.swing.JLabel" name="jLabel10">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
79 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
80 <Property name="horizontalAlignment" type="int" value="4"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
81 <Property name="text" type="java.lang.String" value="Database:"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
82 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
83 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
84 <Component class="javax.swing.JLabel" name="jLabel9">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
85 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
86 <Property name="horizontalAlignment" type="int" value="4"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
87 <Property name="text" type="java.lang.String" value="Hostname:"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
88 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
89 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
90 <Component class="javax.swing.JComboBox" name="databaseCombo">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
91 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
92 <Property name="editable" type="boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
93 <Property name="model" type="javax.swing.ComboBoxModel" editor="org.netbeans.modules.form.editors2.ComboBoxModelEditor">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
94 <StringArray count="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
95 </Property>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
96 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
97 <Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
98 <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="databaseComboActionPerformed"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
99 </Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
100 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
101 <Component class="javax.swing.JButton" name="okButton">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
102 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
103 <Property name="text" type="java.lang.String" value="Ok"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
104 <Property name="selected" type="boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
105 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
106 <Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
107 <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="okButtonActionPerformed"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
108 </Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
109 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
110 <Component class="javax.swing.JButton" name="cancelButton">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
111 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
112 <Property name="text" type="java.lang.String" value="Cancel"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
113 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
114 <Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
115 <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="cancelButtonActionPerformed"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
116 </Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
117 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
118 <Component class="javax.swing.JComboBox" name="hostnameCombo">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
119 <Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
120 <Property name="editable" type="boolean" value="true"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
121 <Property name="model" type="javax.swing.ComboBoxModel" editor="org.netbeans.modules.form.editors2.ComboBoxModelEditor">
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
122 <StringArray count="0"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
123 </Property>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
124 </Properties>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
125 <Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
126 <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="hostnameComboActionPerformed"/>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
127 </Events>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
128 </Component>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
129 </SubComponents>
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
130 </Form>