Mercurial > hg > ltpda-connection-manager

annotate ConnectionManager/src/connectionmanager/DatabaseDialog.java @ 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 670905eb688a
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 package connectionmanager;
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 import javax.swing.DefaultComboBoxModel;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
4
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
5 public class DatabaseDialog extends javax.swing.JDialog {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
6
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
7 public boolean cancelled = true;
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
8 public String hostname;
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
9 public String database;
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
10
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
11 public DatabaseDialog(java.awt.Frame parent, boolean modal, String[] hostnames) {
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
12 super(parent, modal);
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
13 initComponents();
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
14 hostnameCombo.setModel(new DefaultComboBoxModel(hostnames));
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
15 }
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
16
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
17 public DatabaseDialog(java.awt.Frame parent, boolean modal) {
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
18 super(new java.awt.Frame(), true);
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
19 initComponents();
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
20 hostnameCombo.setModel(new DefaultComboBoxModel());
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
21 }
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
22
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
23 public DatabaseDialog() {
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
24 super(new java.awt.Frame(), true);
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
25 initComponents();
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
26 hostnameCombo.setModel(new DefaultComboBoxModel());
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
27 }
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
28
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
29 @SuppressWarnings("unchecked")
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
30 // <editor-fold defaultstate="collapsed" desc="Generated Code">//GEN-BEGIN:initComponents
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
31 private void initComponents() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
32
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
33 jLabel10 = new javax.swing.JLabel();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
34 jLabel9 = new javax.swing.JLabel();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
35 databaseCombo = new javax.swing.JComboBox();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
36 okButton = new javax.swing.JButton();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
37 cancelButton = new javax.swing.JButton();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
38 hostnameCombo = new javax.swing.JComboBox();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
39
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
40 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
41 setTitle("Repository Connection");
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
42 setLocationByPlatform(true);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
43 setModal(true);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
44 setResizable(false);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
45
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
46 jLabel10.setHorizontalAlignment(javax.swing.SwingConstants.RIGHT);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
47 jLabel10.setText("Database:");
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
48
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
49 jLabel9.setHorizontalAlignment(javax.swing.SwingConstants.RIGHT);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
50 jLabel9.setText("Hostname:");
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
51
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
52 databaseCombo.setEditable(true);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
53 databaseCombo.addActionListener(new java.awt.event.ActionListener() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
54 public void actionPerformed(java.awt.event.ActionEvent evt) {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
55 databaseComboActionPerformed(evt);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
56 }
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
57 });
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
58
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
59 okButton.setText("Ok");
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
60 okButton.setSelected(true);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
61 okButton.addActionListener(new java.awt.event.ActionListener() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
62 public void actionPerformed(java.awt.event.ActionEvent evt) {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
63 okButtonActionPerformed(evt);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
64 }
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
65 });
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
66
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
67 cancelButton.setText("Cancel");
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
68 cancelButton.addActionListener(new java.awt.event.ActionListener() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
69 public void actionPerformed(java.awt.event.ActionEvent evt) {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
70 cancelButtonActionPerformed(evt);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
71 }
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
72 });
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
73
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
74 hostnameCombo.setEditable(true);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
75 hostnameCombo.addActionListener(new java.awt.event.ActionListener() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
76 public void actionPerformed(java.awt.event.ActionEvent evt) {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
77 hostnameComboActionPerformed(evt);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
78 }
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
79 });
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
80
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
81 org.jdesktop.layout.GroupLayout layout = new org.jdesktop.layout.GroupLayout(getContentPane());
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
82 getContentPane().setLayout(layout);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
83 layout.setHorizontalGroup(
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
84 layout.createParallelGroup(org.jdesktop.layout.GroupLayout.LEADING)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
85 .add(layout.createSequentialGroup()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
86 .addContainerGap()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
87 .add(layout.createParallelGroup(org.jdesktop.layout.GroupLayout.LEADING)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
88 .add(layout.createSequentialGroup()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
89 .add(jLabel9)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
90 .addPreferredGap(org.jdesktop.layout.LayoutStyle.RELATED)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
91 .add(layout.createParallelGroup(org.jdesktop.layout.GroupLayout.LEADING)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
92 .add(org.jdesktop.layout.GroupLayout.TRAILING, layout.createSequentialGroup()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
93 .add(cancelButton)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
94 .addPreferredGap(org.jdesktop.layout.LayoutStyle.RELATED)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
95 .add(okButton))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
96 .add(hostnameCombo, 0, 218, Short.MAX_VALUE)))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
97 .add(org.jdesktop.layout.GroupLayout.TRAILING, layout.createSequentialGroup()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
98 .add(jLabel10)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
99 .add(11, 11, 11)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
100 .add(databaseCombo, 0, 218, Short.MAX_VALUE)))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
101 .addContainerGap())
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
102 );
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
103 layout.setVerticalGroup(
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
104 layout.createParallelGroup(org.jdesktop.layout.GroupLayout.LEADING)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
105 .add(layout.createSequentialGroup()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
106 .addContainerGap()
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
107 .add(layout.createParallelGroup(org.jdesktop.layout.GroupLayout.BASELINE)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
108 .add(jLabel9)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
109 .add(hostnameCombo, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE, org.jdesktop.layout.GroupLayout.DEFAULT_SIZE, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
110 .add(18, 18, 18)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
111 .add(layout.createParallelGroup(org.jdesktop.layout.GroupLayout.BASELINE)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
112 .add(databaseCombo, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE, org.jdesktop.layout.GroupLayout.DEFAULT_SIZE, org.jdesktop.layout.GroupLayout.PREFERRED_SIZE)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
113 .add(jLabel10))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
114 .add(118, 118, 118)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
115 .add(layout.createParallelGroup(org.jdesktop.layout.GroupLayout.BASELINE)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
116 .add(okButton)
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
117 .add(cancelButton))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
118 .addContainerGap(34, Short.MAX_VALUE))
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
119 );
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
120
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
121 pack();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
122 }// </editor-fold>//GEN-END:initComponents
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
123
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
124 private void cancelButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_cancelButtonActionPerformed
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
125 cancelled = true;
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
126 doClose();
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
127 }//GEN-LAST:event_cancelButtonActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
128
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
129 private void okButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_okButtonActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
130 cancelled = false;
6
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
131 hostname = (String) hostnameCombo.getSelectedItem();
670905eb688a Fix code indentation.
Daniele Nicolodi <daniele@science.unitn.it>
parents: 5
diff changeset
132 database = (String) databaseCombo.getSelectedItem();
5
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
133 doClose();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
134 }//GEN-LAST:event_okButtonActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
135
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
136 private void databaseComboActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_databaseComboActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
137 }//GEN-LAST:event_databaseComboActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
138
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
139 private void hostnameComboActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_hostnameComboActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
140 }//GEN-LAST:event_hostnameComboActionPerformed
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
141
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
142 private void doClose() {
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
143 setVisible(false);
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
144 dispose();
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
145 }
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
146
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
147 // Variables declaration - do not modify//GEN-BEGIN:variables
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
148 private javax.swing.JButton cancelButton;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
149 private javax.swing.JComboBox databaseCombo;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
150 private javax.swing.JComboBox hostnameCombo;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
151 private javax.swing.JLabel jLabel10;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
152 private javax.swing.JLabel jLabel9;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
153 private javax.swing.JButton okButton;
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
154 // End of variables declaration//GEN-END:variables
35f1cfcaa5a9 Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff changeset
155 }