/**
  * 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);
 }
Example #2
0
 /**
  * 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());
 }
Example #3
0
 /**
  * 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);
 }