mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-28 12:09:14 +00:00
8375567
This commit is contained in:
parent
d26d965596
commit
4cfc2c54f2
@ -150,7 +150,7 @@ public class DefaultMetalTheme extends MetalTheme {
|
|||||||
/**
|
/**
|
||||||
* Returns the ideal font style for the font identified by key.
|
* Returns the ideal font style for the font identified by key.
|
||||||
*/
|
*/
|
||||||
public static int getDefaultFontStyle(int key) {
|
static int getDefaultFontStyle(int key) {
|
||||||
if (key != WINDOW_TITLE_FONT) {
|
if (key != WINDOW_TITLE_FONT) {
|
||||||
Object boldMetal = null;
|
Object boldMetal = null;
|
||||||
if (AppContext.getAppContext().get(
|
if (AppContext.getAppContext().get(
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user