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