The name of the initial branch for new projects is now "main" instead of "master". Existing projects remain unchanged. More information: https://doku.lrz.de/display/PUBLIC/GitLab

Commit be202fad authored by Benedikt Zoennchen's avatar Benedikt Zoennchen
Browse files

fix a bug that prevents from repainting after pressing the button to change grp-visualization.

parent 9b946fab
Pipeline #71641 failed with stages
in 66 minutes and 24 seconds
......@@ -72,6 +72,7 @@ public class DefaultSimulationConfig extends DefaultConfig {
public void setShowGroups(boolean showGroups) {
this.showGroups = showGroups;
setChanged();
}
public boolean isShowLogo() {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment