version 1.3, 2003/12/11 11:36:55
|
version 1.5, 2003/12/16 12:45:01
|
Line 135 public class FM2SQL extends JFrame imple
|
Line 135 public class FM2SQL extends JFrame imple
|
box4.setMaximumSize(new Dimension(550, 20)); |
box4.setMaximumSize(new Dimension(550, 20)); |
box4.setPreferredSize(new Dimension(450, 20)); |
box4.setPreferredSize(new Dimension(450, 20)); |
paneDest = new JScrollPane(tListDest); |
paneDest = new JScrollPane(tListDest); |
tListDest.setPreferredSize(paneDest.getPreferredSize()); |
// tListDest.setPreferredSize(paneDest.getPreferredSize()); |
// paneDest.setPreferredSize(new Dimension(350, 365)); |
// paneDest.setPreferredSize(new Dimension(350, 365)); |
Dimension dim = paneDest.getPreferredSize(); |
Dimension dim = paneDest.getPreferredSize(); |
paneDest.setMinimumSize(dim); |
paneDest.setMinimumSize(dim); |
Line 200 public class FM2SQL extends JFrame imple
|
Line 200 public class FM2SQL extends JFrame imple
|
gbc.gridheight = 1; |
gbc.gridheight = 1; |
gbc.fill = GridBagConstraints.BOTH; |
gbc.fill = GridBagConstraints.BOTH; |
listPanel.add(tC.tableScroller, gbc); |
listPanel.add(tC.tableScroller, gbc); |
gbc.fill = GridBagConstraints.VERTICAL; |
// gbc.fill = GridBagConstraints.VERTICAL; |
destPanel.add(paneDest, gbc); |
destPanel.add(paneDest, gbc); |
showTables1 = new JButton("show Tables"); |
showTables1 = new JButton("show Tables"); |
showTables1.setActionCommand("show Tables source"); |
showTables1.setActionCommand("show Tables source"); |
Line 214 public class FM2SQL extends JFrame imple
|
Line 214 public class FM2SQL extends JFrame imple
|
// topPanel.add(showTables1, gbc); |
// topPanel.add(showTables1, gbc); |
JPanel buttonPanel = new JPanel(); |
JPanel buttonPanel = new JPanel(); |
buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.X_AXIS)); |
buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.X_AXIS)); |
buttonPanel.setMinimumSize(new Dimension(350, 30)); |
buttonPanel.setMinimumSize(new Dimension(380, 30)); |
convert = new JButton("Convert Tables"); |
convert = new JButton("Convert Tables"); |
showTables = new JButton("show Tables"); |
showTables = new JButton("show Tables"); |
dropTables = new JButton("drop Tables"); |
dropTables = new JButton("drop Tables"); |