63 lines
2.3 KiB
Java
63 lines
2.3 KiB
Java
|
|
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;
|
|
|
|
public class PersonalizedTheme implements Plugin {
|
|
|
|
@Override
|
|
public void onStart() {
|
|
try {
|
|
Font font = new Font("Verdana", Font.PLAIN, 18);
|
|
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( ()->{
|
|
((View)getView()).restorePreferences();
|
|
}, 250);
|
|
|
|
} catch (Exception ex) {
|
|
getLogger().log(Level.WARNING, null, ex);
|
|
}
|
|
|
|
}
|
|
|
|
}
|