diff --git a/src/ui/interactivesimulation/InteractiveSimulationActions.java b/src/ui/interactivesimulation/InteractiveSimulationActions.java index c3e974e33d7623b6502f028f29596bd5cfe6f76b..88d25925a46a8f814d616eec693488f6d7cc2235 100755 --- a/src/ui/interactivesimulation/InteractiveSimulationActions.java +++ b/src/ui/interactivesimulation/InteractiveSimulationActions.java @@ -165,7 +165,7 @@ public class InteractiveSimulationActions extends AbstractAction { actions[ACT_UPDATE_TASKS] = new TAction("update-tasks", "Update task information", IconManager.imgic75, IconManager.imgic75, "Update task information", "Update information on tasks", 'R'); actions[ACT_PRINT_BENCHMARK] = new TAction("print-benchmark", "Print benchmark", IconManager.imgic29, IconManager.imgic29, "Print benchmark", "Print benchmark at simulator side", 'R'); - actions[ACT_SAVE_BENCHMARK] = new TAction("save-benchmark", "Save benchmark", IconManager.imgic339, IconManager.imgic339, "Save benchmark", "Save benchmark at simulator side", 'R'); + actions[ACT_SAVE_BENCHMARK] = new TAction("save-benchmark", "Save benchmark", IconManager.imgic25, IconManager.imgic25, "Save benchmark", "Save benchmark at simulator side", 'R'); } diff --git a/src/ui/interactivesimulation/JFrameInteractiveSimulation.java b/src/ui/interactivesimulation/JFrameInteractiveSimulation.java index 7953acc1e6472520c264c5abd0b0adbb88c3f901..cba39a2b717744c75f32e2f5e2210e442d6ec894 100755 --- a/src/ui/interactivesimulation/JFrameInteractiveSimulation.java +++ b/src/ui/interactivesimulation/JFrameInteractiveSimulation.java @@ -1435,7 +1435,7 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene busyMode = 3; setBusyStatus(); - System.out.println("**** TERM ****"); + //System.out.println("**** TERM ****"); } setLabelColors(); } @@ -1482,6 +1482,10 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene actions[InteractiveSimulationActions.ACT_STOP_SIMU].setEnabled(b); actions[InteractiveSimulationActions.ACT_RUN_EXPLORATION].setEnabled(b); + if (jpsv != null) { + jpsv.setVariableButton(b); + } + if(busyMode == 3) { actions[InteractiveSimulationActions.ACT_RESET_SIMU].setEnabled(true); } diff --git a/src/ui/interactivesimulation/JPanelSetVariables.java b/src/ui/interactivesimulation/JPanelSetVariables.java index 27389a801b3ecd0a80c6a12d07dac99865cd2bed..6fb2681fb32e3112d87fc44577d0312212de88de 100755 --- a/src/ui/interactivesimulation/JPanelSetVariables.java +++ b/src/ui/interactivesimulation/JPanelSetVariables.java @@ -247,6 +247,10 @@ public class JPanelSetVariables extends JPanel implements ActionListener { currentValue.setEnabled(false); } + protected void setVariableButton(boolean b) { + setButton.setEnabled(b); + } +