X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FGlyphMaker.java;fp=src%2Fjexer%2Fbackend%2FGlyphMaker.java;h=e5fcc522da927fb2c8788b98f8a5075815389f38;hb=3c5921e6905d8ef8c6f4e0644a4144274cc6bedc;hp=84316b71992e1f63f1eb888ad7ebfa1c928b564e;hpb=564040def0ab28b40a9571aca3622643e28451f4;p=fanfix.git diff --git a/src/jexer/backend/GlyphMaker.java b/src/jexer/backend/GlyphMaker.java index 84316b7..e5fcc52 100644 --- a/src/jexer/backend/GlyphMaker.java +++ b/src/jexer/backend/GlyphMaker.java @@ -29,6 +29,7 @@ package jexer.backend; import java.awt.Font; +import java.awt.FontFormatException; import java.awt.FontMetrics; import java.awt.Graphics2D; import java.awt.geom.Rectangle2D; @@ -149,13 +150,13 @@ class GlyphMakerFont { InputStream in = loader.getResourceAsStream(filename); fontRoot = Font.createFont(Font.TRUETYPE_FONT, in); font = fontRoot.deriveFont(Font.PLAIN, fontSize - 2); - } catch (java.awt.FontFormatException e) { + } catch (FontFormatException e) { // Ideally we would report an error here, either via System.err // or TExceptionDialog. However, I do not want GlyphMaker to // know about available backends, so we quietly fallback to // whatever is available as MONO. font = new Font(Font.MONOSPACED, Font.PLAIN, fontSize - 2); - } catch (java.io.IOException e) { + } catch (IOException e) { // See comment above. font = new Font(Font.MONOSPACED, Font.PLAIN, fontSize - 2); }