Changeset 34886 in osm

Timestamp:

2019-02-11T21:53:31+01:00 (6 years ago)

Author:

malcolmh

Message:

improve pipelines

Location:

applications/editors/josm/plugins/seachart

Files:

• jrender/src/jrender/Jrender.java (modified) (1 diff)
• src/render/Rules.java (modified) (1 diff)

applications/editors/josm/plugins/seachart/jrender/src/jrender/Jrender.java

@@ -168 +168 @@
         }
         tile(zoom, 1, 0, 0);
-        if (send.size() > 0) {
-            PrintWriter writer = new PrintWriter(srcdir + zoom + "-" + xtile + "-" + ytile + ".send", "UTF-8");
-            for (String str : send) {
-                writer.println(str);
+        if ((send.size() > 0) || (deletes.size() > 0)) {
+                PrintWriter writer = new PrintWriter(srcdir + zoom + "-" + xtile + "-" + ytile + ".send", "UTF-8");
+                if (send.size() > 0) {
+                        for (String str : send) {
+                                writer.println(str);
             }
-            writer.close();
-        }
-        if (deletes.size() > 0) {
-            PrintWriter writer = new PrintWriter(srcdir + zoom + "-" + xtile + "-" + ytile + ".delete", "UTF-8");
-            for (String del : deletes.keySet()) {
-                writer.println("rm " + del);
+          }
+          if (deletes.size() > 0) {
+                for (String del : deletes.keySet()) {
+                        writer.println("rm " + del);
             }
-            writer.close();
+          }
+          writer.close();
         }
         System.exit(0);

applications/editors/josm/plugins/seachart/src/render/Rules.java

@@ -1192 +1192 @@
                 if ((Renderer.zoom >= 16) && (feature.geom.length < 2)) {
                         if (feature.type == Obj.PIPSOL) {
-                                Renderer.lineSymbols(Areas.Pipeline, 1.0, null, null, 0, Symbols.Mline);
+                                Renderer.lineSymbols(Areas.Pipeline, 0.33, null, null, 0, Symbols.Mline);
                         } else if (feature.type == Obj.PIPOHD) {
                                 Renderer.lineVector(new LineStyle(Color.black, 8));