1 files changed, 0 insertions, 65 deletions
diff --git a/src/proguard/gui/splash/FontSprite.java b/src/proguard/gui/splash/FontSprite.java
deleted file mode 100644
index 3904432..0000000
--- a/src/proguard/gui/splash/FontSprite.java
+++ /dev/null
@@ -1,65 +0,0 @@
-/*
- * ProGuard -- shrinking, optimization, obfuscation, and preverification
- *             of Java bytecode.
- *
- * Copyright (c) 2002-2014 Eric Lafortune (eric@graphics.cornell.edu)
- *
- * This program is free software; you can redistribute it and/or modify it
- * under the terms of the GNU General Public License as published by the Free
- * Software Foundation; either version 2 of the License, or (at your option)
- * any later version.
- *
- * This program is distributed in the hope that it will be useful, but WITHOUT
- * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
- * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
- * more details.
- *
- * You should have received a copy of the GNU General Public License along
- * with this program; if not, write to the Free Software Foundation, Inc.,
- * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
- */
-package proguard.gui.splash;
-
-import java.awt.*;
-
-/**
- * This Sprite sets the font for another given sprite.
- *
- * @author Eric Lafortune
- */
-public class FontSprite implements Sprite
-{
-    private final VariableFont font;
-    private final Sprite       sprite;
-
-
-    /**
-     * Creates a new FontSprite.
-     * @param font   the variable Font of the given sprite.
-     * @param sprite the sprite that will be provided of a font and painted.
-     */
-    public FontSprite(VariableFont font,
-                      Sprite       sprite)
-    {
-        this.font   = font;
-        this.sprite = sprite;
-    }
-
-
-    // Implementation for Sprite.
-
-    public void paint(Graphics graphics, long time)
-    {
-        // Save the old font.
-        Font oldFont = graphics.getFont();
-
-        // Set the new font.
-        graphics.setFont(font.getFont(time));
-
-        // Paint the actual sprite.
-        sprite.paint(graphics, time);
-
-        // Restore the old font.
-        graphics.setFont(oldFont);
-    }
-}