1061 |
|
|
1062 |
oldMapArea = mapArea; |
oldMapArea = mapArea; |
1063 |
|
|
|
System.out.println("requested setting to \\t" + newMapArea); |
|
1064 |
this.mapArea = bestAllowedMapArea(newMapArea); |
this.mapArea = bestAllowedMapArea(newMapArea); |
|
System.out.println("set to \\t\\ลง" + newMapArea); |
|
1065 |
|
|
1066 |
if (localContext != null) { |
if (localContext != null) { |
1067 |
localContext.setAreaOfInterest(mapArea, localContext |
localContext.setAreaOfInterest(mapArea, localContext |
1076 |
mapAreaChanged = true; |
mapAreaChanged = true; |
1077 |
repaint(); |
repaint(); |
1078 |
|
|
1079 |
LOGGER.debug("New maparea = " + mapArea); |
// LOGGER.debug("New maparea = " + mapArea); |
1080 |
return true; |
return true; |
1081 |
} |
} |
1082 |
|
|