diff options
| author | Harvey Harrison <[email protected]> | 2013-10-17 22:51:47 -0700 |
|---|---|---|
| committer | Harvey Harrison <[email protected]> | 2013-10-17 23:01:22 -0700 |
| commit | f1ae8ddb87c88a57dce4593f006881ef6a7f0932 (patch) | |
| tree | 0c25dff44d3781dadecc8234a9bc70e18e50cbc2 /src/jogl/classes/jogamp/graph/font/JavaFontLoader.java | |
| parent | 5e9c02bce7b241a0bf95c8abca9a91cd25e51ed3 (diff) | |
jogl: add missing @Override annotations
Signed-off-by: Harvey Harrison <[email protected]>
Diffstat (limited to 'src/jogl/classes/jogamp/graph/font/JavaFontLoader.java')
| -rw-r--r-- | src/jogl/classes/jogamp/graph/font/JavaFontLoader.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java b/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java index 5978e937d..e3df0af1d 100644 --- a/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java +++ b/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java @@ -66,6 +66,7 @@ public class JavaFontLoader implements FontSet { private JavaFontLoader() { final String javaHome = AccessController.doPrivileged(new PrivilegedAction<String>() { + @Override public String run() { return System.getProperty("java.home"); } @@ -81,10 +82,12 @@ public class JavaFontLoader implements FontSet { return 0 != ( bits & bit ) ; } + @Override public Font getDefault() throws IOException { return get(FAMILY_REGULAR, 0) ; // Sans Serif Regular } + @Override public Font get(int family, int style) throws IOException { Font font = (Font)fontMap.get( ( family << 8 ) | style ); if (font != null) { |