Changeset 27385 in osm for applications

Timestamp:

2012-01-01T21:17:58+01:00 (13 years ago)

Author:

malcolmh

Message:

'New release'

File:

• applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelSectors.java (modified) (4 diffs)

applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelSectors.java

@@ -69 +69 @@
                 getContentPane().add(panel);
 
-                table.setSize(860, ((table.getRowCount() * 16) + 24));
+                table.setSize(860, ((table.getRowCount() * 16) + 28));
                 
                 table.setDefaultRenderer(String.class, new CentreRenderer());
@@ -278 +278 @@
         public void addSector(int idx) {
                 dlg.panelMain.mark.addLight(idx);
-                table.setSize(860, ((table.getRowCount() * 16) + 24));
+                table.setSize(860, ((table.getRowCount() * 16) + 28));
                 if (table.getRowCount() > 3) {
-                        setSize(900, ((table.getRowCount() * 16) + 44));
+                        setSize(900, ((table.getRowCount() * 16) + 48));
                 } else {
                         setSize(900, 100);
@@ -289 +289 @@
                 if (idx > 0) {
                         dlg.panelMain.mark.delLight(idx);
-                        table.setSize(860, ((table.getRowCount() * 16) + 24));
+                        table.setSize(860, ((table.getRowCount() * 16) + 28));
                         if (table.getRowCount() > 3) {
-                                setSize(900, ((table.getRowCount() * 16) + 44));
+                                setSize(900, ((table.getRowCount() * 16) + 48));
                         } else {
                                 setSize(900, 100);
@@ -300 +300 @@
         public void syncPanel() {
                 table.updateUI();
-                table.setSize(860, ((table.getRowCount() * 16) + 24));
+                table.setSize(860, ((table.getRowCount() * 16) + 28));
                 if (table.getRowCount() > 3) {
-                        setSize(900, ((table.getRowCount() * 16) + 44));
+                        setSize(900, ((table.getRowCount() * 16) + 48));
                 } else {
                         setSize(900, 100);