- private static final long serialVersionUID = 2490944880914577411L;\r
-\r
- /**\r
- * FIXME: this is a hack for the map UI that has to be solved some other way.\r
- */\r
- private static final boolean MAP_Y_SCALING = false;\r
-\r
- private static final Color GRAY = new Color(100, 100, 100);\r
-\r
- protected Boolean enabled = true;\r
-\r
- protected double gridSize = 1.0;\r
-\r
- @SyncField("enabled")\r
- public void setEnabled(Boolean enabled) {\r
- this.enabled = enabled;\r
- }\r
-\r
- @SyncField("gridSize")\r
- public void setGridSize(double gridSize) {\r
- if (gridSize < 1e-6)\r
- gridSize = 1e-6;\r
- this.gridSize = gridSize;\r
- }\r
-\r
+ private static final long serialVersionUID = 2490944880914577411L;
+
+ private static final Color GRAY = new Color(100, 100, 100);
+
+ protected Boolean enabled = true;
+
+ protected double gridSize = 1.0;
+
+ protected double rulerSize = 20;
+
+ @SyncField("enabled")
+ public void setEnabled(Boolean enabled) {
+ this.enabled = enabled;
+ }
+
+ @SyncField("gridSize")
+ public void setGridSize(double gridSize) {
+ if (gridSize < 1e-6)
+ gridSize = 1e-6;
+ this.gridSize = gridSize;
+ }
+
+ @SyncField("rulerSize")
+ public void setRulerSize(double rulerSize) {
+ this.rulerSize = rulerSize;
+ }
+