Esempio n. 1
0
  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);
  }
Esempio n. 2
0
  public void setBoundaryScalers() {
    int demoWidth = 1, demoHeight = 1;

    mapShellBounds = mapShell.getBounds();

    if (dp != null) {
      demoWidth = (dp.maxX - dp.minX) + (RadarConsts.WINDOW_BUFFER * 2);
      demoHeight = (dp.maxY - dp.minY) + (RadarConsts.WINDOW_BUFFER * 2);
    }
    boundsXScale = (float) mapShellBounds.width / demoWidth;
    boundsYScale = (float) mapShellBounds.height / demoHeight;
  }
Esempio n. 3
0
  public void saveWindowPosition() {
    String prefLine;

    mapShellBounds = mapShell.getBounds();

    prefLine =
        ""
            + mapShellBounds.x
            + ","
            + mapShellBounds.y
            + ","
            + mapShellBounds.width
            + ","
            + mapShellBounds.height;

    prefs.put(RadarConsts.PREF_KEY_MAP_WINDOW, prefLine);
  }