Beispiel #1
0
 void slice() {
   actions.get(ActionMap.SLICE_ACTION).setEnabled(false);
   plater.mouseToWorld();
   slice(
       stripExtension(currentFile),
       new StatusBarUpdater(statusBar, currentFile, simulationTab.getSimulationPlotter()),
       false);
 }
Beispiel #2
0
 protected String getConfigProperty(String prop, String defaultValue) {
   ConfigManager config = parent.getConfig();
   String value = config.getProperty(roleName + '.' + getName() + '.' + prop);
   if (value == null) {
     value = config.getProperty(roleName + '.' + prop);
   }
   return value == null ? defaultValue : value;
 }
Beispiel #3
0
 public void modelChanged() {
   if (simulationPanel != null) {
     simulationPanel.repaint();
   }
   if (userOptionsPanel != null) {
     userOptionsPanel.maybeUpdate();
     optionsPanel.revalidate();
   }
 }
Beispiel #4
0
 protected void showDialog(JComponent dialog) {
   parent.showDialog(dialog);
 }
Beispiel #5
0
 protected Icon getIcon(String iconName) {
   return parent.getIcon(iconName);
 }
Beispiel #6
0
 /**
  * ******************************************************************* Information retrieval and
  * utilities for sub classes ********************************************************************
  */
 protected ConfigManager getConfig() {
   return parent.getConfig();
 }