/**
* Sets the focus to this EV. TODO: use this view's id directly to set the focus (current code
* assumes only 2 EVs)
*/
private void requestViewFocus() {
if (ev.equals(app.getEuclidianView1()))
((LayoutD) ((GuiManagerD) app.getGuiManager()).getLayout())
.getDockManager()
.setFocusedPanel(App.VIEW_EUCLIDIAN);
else
((LayoutD) ((GuiManagerD) app.getGuiManager()).getLayout())
.getDockManager()
.setFocusedPanel(App.VIEW_EUCLIDIAN2);
}
/**
* Get an axis's visibility in the Euclidian View 2
*
* @param axis the axis object
* @return true if the axis is visible
*/
public boolean isAxisVisible(GeoAxis axis) {
return app.getEuclidianView1().getShowAxis(axis.getType());
}
/**
* Set an axis's visibility in the Euclidian View 1
*
* @param axis the axis object
* @param visible true to make it visible
*/
public void setAxisVisible(GeoAxis axis, boolean visible) {
app.getEuclidianView1().setShowAxis(axis.getType(), visible, false);
}