Ejemplo n.º 1
0
  protected void exportToEV() {
    Integer euclidianViewID = null;
    // if null ID then use EV1 unless shift is down, then use EV2
    if (euclidianViewID == null) {
      euclidianViewID =
          GlobalKeyDispatcherW.getShiftDown()
              ? app.getEuclidianView2(1).getViewID()
              : app.getEuclidianView1().getViewID();
    }

    // do the export
    getModel().exportGeosToEV(euclidianViewID);

    daView.updateOtherDataDisplay(this);
  }
Ejemplo n.º 2
0
 public void geoToPlotPanel(GeoElement listGeo) {
   listGeo.addView(plotPanel.getViewID());
   plotPanel.add(listGeo);
   listGeo.removeView(App.VIEW_EUCLIDIAN);
   app.getEuclidianView1().remove(listGeo);
 }