Files
dev/plugins/PersonalizedTheme.java
2018-01-19 10:56:53 +01:00

54 lines
2.1 KiB
Java
Executable File

import ch.psi.pshell.core.Plugin;
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();
} catch (Exception ex) {
getLogger().log(Level.WARNING, null, ex);
}
}
}