I seem to have made a bookkeeping error. There was something important that crept into r2977, but I didn’t put it in the log. My fault. That’s why I shouldn’t mix merges with important changes. Could Joel or Rodney merge 2977 into the trunk?
- M.
P.S.: This is the patch that’s critical:
— MapBoard.java (revision 2972)
+++ MapBoard.java (working copy)
@@ -2471,7 +2471,7 @@
String[] s = new String[3];
int maxSize = set.getMapBoardSymbolSize();
for (int i = 0; i < 3; ++i)
-
s[i] = Double.toString((double) set.getMapBoardSymbolSize(i) / (double) maxSize);
-
s[i] = Double.toString(set.getZoomFactor(i)); zoom.setAttribute("zoomLevels", StringArrayConfigurer.arrayToString(s)); zoom.addTo(mainMap); getMainMap().add(zoom);