pshell_config/x07mb
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update to V2

Browse Source
This commit is contained in:
gac-x07mb
2026-03-02 13:49:55 +01:00
parent 67cee074cb
commit 405e5daf9f
27 changed files with 144 additions and 142 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
plugins/PersonalizedTheme.java
View File

@@ -1,9 +1,11 @@
import ch.psi.pshell.ui.Plugin;
import ch.psi.pshell.ui.Preferences;
import ch.psi.pshell.swing.ScriptEditor;
import ch.psi.utils.swing.SwingUtils;
import ch.psi.pshell.framework.Plugin;
import ch.psi.pshell.workbench.Preferences;
import ch.psi.pshell.framework.ScriptEditor;
import ch.psi.pshell.workbench.View;
import ch.psi.pshell.swing.SwingUtils;
import java.awt.Font;
import java.util.logging.Logger;
import java.util.logging.Level;
import javax.swing.UIManager;
@@ -48,7 +50,7 @@ public class PersonalizedTheme implements Plugin {
SwingUtils.invokeDelayed( ()->{
getView().restorePreferences();
((View)getView()).restorePreferences();
}, 250);
} catch (Exception ex) {