Update of /cvsroot/arianne/stendhal/src/games/stendhal/client/gui/styled
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv5116/src/games/stendhal/client/gui/styled
Modified Files:
StyledLookAndFeel.java
Log Message:
Fixed default font size not being initialized correctly for some components
Index: StyledLookAndFeel.java
===================================================================
RCS file: /cvsroot/arianne/stendhal/src/games/stendhal/client/gui/styled/StyledLookAndFeel.java,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** StyledLookAndFeel.java 1 Dec 2012 07:52:00 -0000 1.19
--- StyledLookAndFeel.java 2 Dec 2012 16:59:26 -0000 1.20
***************
*** 18,21 ****
--- 18,22 ----
import javax.swing.KeyStroke;
import javax.swing.UIDefaults;
+ import javax.swing.UIManager;
import javax.swing.plaf.FontUIResource;
import javax.swing.plaf.InputMapUIResource;
***************
*** 76,85 ****
* @param size new font size
*/
! public void setDefaultFontSize(int size) {
UIDefaults defaults = getDefaults();
for (Object key : defaults.keySet()) {
if ((key instanceof String) && (((String) key).endsWith(".font"))) {
FontUIResource font = (FontUIResource) defaults.get(key);
! defaults.put(key, new FontUIResource(font.getName(), font.getStyle(), size));
}
}
--- 77,89 ----
* @param size new font size
*/
! public void setDefaultFontSize(final int size) {
UIDefaults defaults = getDefaults();
+
for (Object key : defaults.keySet()) {
if ((key instanceof String) && (((String) key).endsWith(".font"))) {
FontUIResource font = (FontUIResource) defaults.get(key);
! // For some reason changing it in defaults does not work
! // reliably. Going through UIManager fixes it.
! UIManager.put(key, new FontUIResource(font.getName(), font.getStyle(), size));
}
}
|
