Changeset 27383 in osm for applications/editors/josm

Timestamp:

2012-01-01T21:08:20+01:00 (14 years ago)

Author:

malcolmh

Message:

'New release'

Location:

applications/editors/josm/plugins/smed

Files:

• build.xml (modified) (1 diff)
• plugs/oseam/src/oseam/panels/PanelSectors.java (modified) (4 diffs)

applications/editors/josm/plugins/smed/build.xml

@@ -41 +41 @@
     <!-- this is the directory where the plugin jar is copied to -->
     <property name="plugin.dist.dir" value="../../dist"/>
+    <property name="smed_core.dist.dir" value="core/dist/"/>
     <property name="ant.build.javac.target" value="1.5"/>
-    <property name="plugin.dist.dir" value="../../dist"/>
     <property name="plugin.jar" value="${plugin.dist.dir}/${ant.project.name}.jar"/>
     <!--

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

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