Bugfix: make sure GUI picks up settings on initialisation.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@97 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 2832cf3a3d
1 changed files with 1 additions and 1 deletions
--- a/prism/src/userinterface/GUIPrism.java
+++ b/prism/src/userinterface/GUIPrism.java
@ -149,7 +149,7 @@ public class GUIPrism extends JFrame
        setupResources();
        setupPrism();
        initComponents();
-        
+        prism.getSettings().notifySettingsListeners();
    }
    
    /**