public void positionWindow(boolean resetToDefault) {
String mapWindow;
mapShellBounds = mapShell.getBounds();
mapWindow = prefs.get(RadarConsts.PREF_KEY_MAP_WINDOW, "");
if (mapWindow.equals("") || resetToDefault) {
Rectangle dispBounds, tableBounds;
dispBounds = ((Display.getCurrent()).getPrimaryMonitor()).getClientArea();
tableBounds = display.getShells()[1].getBounds();
mapShellBounds.width = dispBounds.width - tableBounds.width;
mapShellBounds.height = dispBounds.height;
mapShellBounds.x = dispBounds.x + tableBounds.width;
mapShellBounds.y = dispBounds.y;
} else {
String[] tokens = mapWindow.split(",");
mapShellBounds =
new Rectangle(
new Integer(tokens[0]), // X value
new Integer(tokens[1]), // Y value
new Integer(tokens[2]), // Width
new Integer(tokens[3]) // Height
);
}
mapShell.setBounds(mapShellBounds);
}
