Changeset 751 for DataCleaner/trunk/DataCleaner-gui/src/main/java/dk/eobjects/datacleaner/gui/widgets/DataCleanerTable.java

Timestamp:

03/15/09 13:35:43 (3 years ago)

Author:

kasper

Message:

Ticket #272: Issue with table sizing fixed. Added use of JTable's own scrolling mechanism which also introduced a few table management perks.

File:

• DataCleaner/trunk/DataCleaner-gui/src/main/java/dk/eobjects/datacleaner/gui/widgets/DataCleanerTable.java (modified) (4 diffs)

DataCleaner/trunk/DataCleaner-gui/src/main/java/dk/eobjects/datacleaner/gui/widgets/DataCleanerTable.java

@@ -33 +33 @@
 import javax.swing.JPanel;
 import javax.swing.JPopupMenu;
+import javax.swing.JScrollPane;
 import javax.swing.JTable;
 import javax.swing.table.DefaultTableModel;
@@ -41 +42 @@
 import org.jdesktop.swingx.JXTable;
 
-import dk.eobjects.datacleaner.gui.GuiBuilder;
 import dk.eobjects.datacleaner.gui.GuiHelper;
 import dk.eobjects.datacleaner.profiler.MatrixValue;
@@ -110 +110 @@
         public JPanel toPanel() {
                 if (_panel == null) {
-                        GuiBuilder<JPanel> guiBuilder = GuiHelper.createPanel()
-                                        .applyBorderLayout();
-                        Dimension panelPreferredSize = getPanelPreferredSize();
-                        guiBuilder.applySize(panelPreferredSize);
-                        _panel = guiBuilder.toComponent();
+                        _panel = GuiHelper.createPanel()
+                                        .applyBorderLayout().toComponent();
                         _panel.add(getTableHeader(), BorderLayout.NORTH);
-                        _panel.add(this, BorderLayout.CENTER);
+                        _panel.add(new JScrollPane(this), BorderLayout.CENTER);
+                        _panel.setPreferredSize(getPanelPreferredSize());
                 }
                 return _panel;
@@ -127 +125 @@
                 Dimension headerSize = getTableHeader().getPreferredSize();
                 d.height = headerSize.height + tableSize.height;
+                
+                // Adding a 20 pixel buffer for horisontal scroll bars
+                // (Ticket #272)
+                d.height = d.height + 20;
                 return d;
         }