File anywikidraw.patch of Package python-moin

Overview Repositories Revisions Requests Users Attributes Meta

File anywikidraw.patch of Package python-moin

diff -ur AnyWikiDraw-orig/build-for-moinmoin.xml AnyWikiDraw/build-for-moinmoin.xml
--- AnyWikiDraw-orig/build-for-moinmoin.xml	2009-10-18 21:40:22.000000000 +0200
+++ AnyWikiDraw/build-for-moinmoin.xml	2014-08-31 19:50:52.720961122 +0200
@@ -32,6 +32,7 @@
                 srcdir="${src.main}:${src.jhotdraw}"
                 debug="${debug}"
                 source="1.5"
+                target="1.5"
                 optimize="true"
                 encoding="UTF-8"
 
diff -ur AnyWikiDraw-orig/src/jhotdraw7/java/org/jhotdraw/geom/BezierPath.java AnyWikiDraw/src/jhotdraw7/java/org/jhotdraw/geom/BezierPath.java
--- AnyWikiDraw-orig/src/jhotdraw7/java/org/jhotdraw/geom/BezierPath.java	2009-10-18 20:50:38.000000000 +0200
+++ AnyWikiDraw/src/jhotdraw7/java/org/jhotdraw/geom/BezierPath.java	2014-08-31 14:42:12.148555716 +0200
@@ -264,7 +264,7 @@
      * Convenience method for adding multiple control points with a single
      * coordinate C0.
      */
-    public void addAll(Collection<Point2D.Double> points) {
+    public void addPolyline(Collection<Point2D.Double> points) {
         for (Point2D.Double c0 : points) {
             add(new Node(0, c0, c0, c0));
         }
@@ -1282,4 +1282,4 @@
     public int getWindingRule() {
         return windingRule;
     }
-}
\ No newline at end of file
+}
diff -ur AnyWikiDraw-orig/src/jhotdraw7/java/org/jhotdraw/io/ExtensionFileFilter.java AnyWikiDraw/src/jhotdraw7/java/org/jhotdraw/io/ExtensionFileFilter.java
--- AnyWikiDraw-orig/src/jhotdraw7/java/org/jhotdraw/io/ExtensionFileFilter.java	2009-10-18 20:50:48.000000000 +0200
+++ AnyWikiDraw/src/jhotdraw7/java/org/jhotdraw/io/ExtensionFileFilter.java	2014-08-31 18:39:25.469542318 +0200
@@ -68,16 +68,17 @@
     }
     
     public boolean accept(File pathname) {
-        if (pathname.isDirectory()) {
-            return true;
+        try {
+            if (pathname.isDirectory()) return true;
+        } catch (java.security.AccessControlException e) {
+       	    // ignore
+        }
+        String name = pathname.getName();
+        int p = name.lastIndexOf('.');
+        if (p == -1 || p == name.length() - 1) {
+            return extensions.contains("");
         } else {
-            String name = pathname.getName();
-            int p = name.lastIndexOf('.');
-            if (p == -1 || p == name.length() - 1) {
-                return extensions.contains("");
-            } else {
-                return extensions.contains(name.substring(p + 1).toLowerCase());
-            }
+            return extensions.contains(name.substring(p + 1).toLowerCase());
         }
     }
     
diff -ur AnyWikiDraw-orig/src/main/java/org/anywikidraw/any/AbstractDrawingApplet.java AnyWikiDraw/src/main/java/org/anywikidraw/any/AbstractDrawingApplet.java
--- AnyWikiDraw-orig/src/main/java/org/anywikidraw/any/AbstractDrawingApplet.java	2009-10-11 20:32:29.000000000 +0200
+++ AnyWikiDraw/src/main/java/org/anywikidraw/any/AbstractDrawingApplet.java	2014-08-31 17:56:56.686428594 +0200
@@ -116,7 +116,12 @@
     public final void init() {
         // set the language of the applet
         if (getParameter("Locale") != null) {
-            Locale.setDefault(new Locale(getParameter("Locale")));
+            try {
+                Locale.setDefault(new Locale(getParameter("Locale")));
+            } catch (Throwable e) {
+                // Do nothing
+                // If we can't set the desired language, just use the default
+            }
         }

Places

File anywikidraw.patch of Package python-moin

Places