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);
}
