Skip to content

Commit

Permalink
Fixed font size
Browse files Browse the repository at this point in the history
  • Loading branch information
Pierre-Luc Paour committed Sep 7, 2009
1 parent f029fe8 commit 91caeab
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 9 deletions.
11 changes: 6 additions & 5 deletions com/gallery/GalleryRemote/GRAppletMini.java
Expand Up @@ -70,11 +70,12 @@ public void initUI() {
SwingUtilities.updateComponentTreeUI(this);
if (GalleryRemote.IS_MAC_OS_X) {
// the default font for many components is too big on Mac
UIManager.put("Label.font", UIManager.getFont("TitledBorder.font"));
UIManager.put("TextField.font", UIManager.getFont("TitledBorder.font"));
UIManager.put("Button.font", UIManager.getFont("TitledBorder.font"));
UIManager.put("CheckBox.font", UIManager.getFont("TitledBorder.font"));
UIManager.put("ComboBox.font", UIManager.getFont("TitledBorder.font"));
Font f = UIManager.getFont("TitledBorder.font").deriveFont(12);
UIManager.put("Label.font", f);
UIManager.put("TextField.font", f);
UIManager.put("Button.font", f);
UIManager.put("CheckBox.font", f);
UIManager.put("ComboBox.font", f);
}

jbInit();
Expand Down
4 changes: 0 additions & 4 deletions com/gallery/GalleryRemote/GalleryRemote.java
Expand Up @@ -124,10 +124,6 @@ private void setFontOverrides() {
int style = properties.getIntProperty(PreferenceNames.FONT_OVERRIDE_STYLE);
int size = properties.getIntProperty(PreferenceNames.FONT_OVERRIDE_SIZE);

if (!IS_MAC_OS_X && isAppletMode()) {
size = (int) (size * .75);
}

FontUIResource fur = new FontUIResource(name, style, size);
UIManager.put("Label.font", fur);
UIManager.put("List.font", fur);
Expand Down

0 comments on commit 91caeab

Please sign in to comment.