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

New ScreenPanel

Browse Source
This commit is contained in:
gobbo_a
2018-01-19 10:56:53 +01:00
commit ae4d621609
580 changed files with 46598 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

53
plugins/PersonalizedTheme.java Executable file
View File

@@ -0,0 +1,53 @@
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);
}
}
}