X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FGlyphMaker.java;h=e5fcc522da927fb2c8788b98f8a5075815389f38;hb=c4cefaa04ec122fc02efb6542451a31fdf722c32;hp=84316b71992e1f63f1eb888ad7ebfa1c928b564e;hpb=84164e2ca9b05b264e29312909f9ed70ab8d98a7;p=nikiroo-utils.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); }