Bugfix: viewers were not correctly ticked off in the menu when a simulation was loaded from file. The current fix feels like a hack through.
This commit is contained in:
parent
fd2e238d99
commit
cce3628440
1 changed files with 14 additions and 0 deletions
|
@ -572,7 +572,9 @@ public class Visualizer extends VisPlugin implements HasQuickHelp {
|
||||||
simulation.getGUI().tryLoadClass(this, VisualizerSkin.class, skin);
|
simulation.getGUI().tryLoadClass(this, VisualizerSkin.class, skin);
|
||||||
generateAndActivateSkin(skinClass);
|
generateAndActivateSkin(skinClass);
|
||||||
}
|
}
|
||||||
|
|
||||||
populateSkinMenu(viewMenu);
|
populateSkinMenu(viewMenu);
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
public VisualizerSkin[] getCurrentSkins() {
|
public VisualizerSkin[] getCurrentSkins() {
|
||||||
|
@ -1338,6 +1340,18 @@ public class Visualizer extends VisPlugin implements HasQuickHelp {
|
||||||
skinButton.setVisible(false);
|
skinButton.setVisible(false);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* This is a hack: since the viewers are activated through an invokeLater
|
||||||
|
* mechanism (see above), we'll have to invoke the
|
||||||
|
* populateSkinMenu(viewMenu) later too. Lets just hope the invokation of
|
||||||
|
* populateSkinMenu() is done later than the activation of the viewers...
|
||||||
|
*/
|
||||||
|
SwingUtilities.invokeLater(new Runnable() {
|
||||||
|
public void run() {
|
||||||
|
populateSkinMenu(viewMenu);
|
||||||
|
}
|
||||||
|
});
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue