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

Browse Source
This commit is contained in:
gac-x07mb
2022-08-08 11:17:33 +02:00
parent 420596d862
commit 20496ec4a8
13 changed files with 210 additions and 102 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
plugins/PersonalizedTheme.java
View File

@@ -12,8 +12,7 @@ public class PersonalizedTheme implements Plugin {
@Override
public void onStart() {
try {
Font font = new Font("Verdana", Font.PLAIN, 16);
UIManager.put("Button.font", font);
Font font = new Font("Verdana", Font.PLAIN, 18);
UIManager.put("ToggleButton.font", font);
UIManager.put("RadioButton.font", font);
UIManager.put("CheckBox.font", font);
@@ -48,11 +47,8 @@ public class PersonalizedTheme implements Plugin {
SwingUtils.updateAllFrames();
SwingUtils.invokeDelayed( ()->{
Preferences preferences = getView().getPreferences();
for (ScriptEditor editor : getView().getEditors()){
editor.setTextPaneFont(preferences.fontEditor);
}
SwingUtils.invokeDelayed( ()->{
getView().restorePreferences();
}, 250);
} catch (Exception ex) {