~tapaal-contributor/tapaal/query-export-bug-1767615

merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow

added added

removed removed

public class AnimationSettings{

private static JDialog dialog;

private static BlueTransitionControl blue;

private static DelayEnabledTransitionControl delayEnabled;

private static SimulationControl simControl;

private static JPanel getContent(){

JPanel content = new JPanel(new BorderLayout());

blue = BlueTransitionControl.getInstance();

delayEnabled = DelayEnabledTransitionControl.getInstance();

simControl = SimulationControl.getInstance();

simControl.showCheckbox(true);

simControl.addRandomSimulationActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

if(simControl.randomSimulation()){

blue.randomMode.setSelected(true);

delayEnabled.randomMode.setSelected(true);

}

CreateGui.getTransitionFireingComponent().updateFireButton();

}

});

content.add(blue, BorderLayout.NORTH);

content.add(delayEnabled, BorderLayout.NORTH);

content.add(simControl, BorderLayout.SOUTH);

return content;

}