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); }
public void geoToPlotPanel(GeoElement listGeo) { listGeo.addView(plotPanel.getViewID()); plotPanel.add(listGeo); listGeo.removeView(App.VIEW_EUCLIDIAN); app.getEuclidianView1().remove(listGeo); }