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

Configuration change: Context

Browse Source
This commit is contained in:
gac-x07mb
2022-03-04 14:28:28 +01:00
commit 0defe64bda
105 changed files with 101731 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

64
plugins/PersonalizedTheme.java Normal file
View File

@@ -0,0 +1,64 @@
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 java.awt.Font;
import java.util.logging.Level;
import javax.swing.UIManager;
public class PersonalizedTheme implements Plugin {
@Override
public void onStart() {
try {
Font font = new Font("Verdana", Font.PLAIN, 16);
UIManager.put("Button.font", font);
UIManager.put("ToggleButton.font", font);
UIManager.put("RadioButton.font", font);
UIManager.put("CheckBox.font", font);
UIManager.put("ColorChooser.font", font);
UIManager.put("ComboBox.font", font);
UIManager.put("Label.font", font);
UIManager.put("List.font", font);
UIManager.put("MenuBar.font", font);
UIManager.put("MenuItem.font", font);
UIManager.put("RadioButtonMenuItem.font", font);
UIManager.put("CheckBoxMenuItem.font", font);
UIManager.put("Menu.font", font);
UIManager.put("PopupMenu.font", font);
UIManager.put("OptionPane.font", font);
UIManager.put("Panel.font", font);
UIManager.put("ProgressBar.font", font);
UIManager.put("ScrollPane.font", font);
UIManager.put("Viewport.font", font);
UIManager.put("TabbedPane.font", font);
UIManager.put("Table.font", font);
UIManager.put("TableHeader.font", font);
UIManager.put("TextField.font", font);
UIManager.put("PasswordField.font", font);
UIManager.put("TextArea.font", font);
UIManager.put("TextPane.font", font);
UIManager.put("EditorPane.font", font);
UIManager.put("TitledBorder.font", font);
UIManager.put("ToolBar.font", font);
UIManager.put("ToolTip.font", font);
UIManager.put("Tree.font", font);
SwingUtils.updateAllFrames();
SwingUtils.invokeDelayed( ()->{
Preferences preferences = getView().getPreferences();
for (ScriptEditor editor : getView().getEditors()){
editor.setTextPaneFont(preferences.fontEditor);
}
}, 250);
} catch (Exception ex) {
getLogger().log(Level.WARNING, null, ex);
}
}
}