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