X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fnet%2Fsf%2Fopenrocket%2Fgui%2Fmain%2FSplash.java;fp=src%2Fnet%2Fsf%2Fopenrocket%2Fgui%2Fmain%2FSplash.java;h=15198c306a12425b055dd34548637a680ad9b8c4;hb=e298a9509613f232227d16d28310611b33c3aa03;hp=0000000000000000000000000000000000000000;hpb=c71eeba85a8a25e1bd43b27ad09cb2238139b737;p=debian%2Fopenrocket

diff --git a/src/net/sf/openrocket/gui/main/Splash.java b/src/net/sf/openrocket/gui/main/Splash.java
new file mode 100644
index 00000000..15198c30
--- /dev/null
+++ b/src/net/sf/openrocket/gui/main/Splash.java
@@ -0,0 +1,103 @@
+package net.sf.openrocket.gui.main;
+
+import java.awt.Color;
+import java.awt.Font;
+import java.awt.Graphics2D;
+import java.awt.RenderingHints;
+import java.awt.SplashScreen;
+import java.awt.font.GlyphVector;
+import java.awt.geom.Rectangle2D;
+import java.io.IOException;
+
+import net.sf.openrocket.util.Prefs;
+
+/**
+ * Helper methods for manipulating the Java runtime splash screen.
+ * <p>
+ * Notes:
+ * SplashScreen.update() takes randomly between 4 and 500 ms to complete,
+ * even after it has been called ~100 times (and therefore pre-compiled).
+ * Therefore it cannot be relied upon to perform for example color fades.
+ * Care should be taken to call update() only once or twice per second.
+ * 
+ * @author Sampo Niskanen <sampo.niskanen@iki.fi>
+ */
+public class Splash {
+	
+	// The right edge of the text base line for the version string
+	private static final int VERSION_POSITION_X = 617;
+	private static final int VERSION_POSITION_Y = 135;
+	private static final Font VERSION_FONT = new Font(Font.SANS_SERIF, Font.PLAIN, 9);
+	private static final Color VERSION_COLOR = Color.WHITE;
+	
+	
+	/**
+	 * Initialize the splash screen with additional information.  This method should
+	 * be called as soon as reasonably possible during program startup.
+	 * 
+	 * @return	<code>true</code> if the splash screen could be successfully initialized
+	 */
+	public static boolean init() {
+		// Get the splash screen
+		SplashScreen s = getSplash();
+		if (s == null)
+			return false;
+		
+		// Create graphics context and set antialiasing on
+		Graphics2D g2 = s.createGraphics();
+		g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, 
+				RenderingHints.VALUE_STROKE_NORMALIZE);
+		g2.setRenderingHint(RenderingHints.KEY_RENDERING, 
+				RenderingHints.VALUE_RENDER_QUALITY);
+		g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, 
+				RenderingHints.VALUE_ANTIALIAS_ON);
+		
+		// Draw the version number
+		drawVersionNumber(g2);
+		
+		// Update the splash screen
+		s.update();
+		return true;
+	}
+	
+	
+	
+	private static void drawVersionNumber(Graphics2D g2) {
+		String text = "Version " + Prefs.getVersion();
+		GlyphVector gv = VERSION_FONT.createGlyphVector(g2.getFontRenderContext(), text);
+		
+		Rectangle2D rect = gv.getVisualBounds();
+		double width = rect.getWidth();
+		
+		g2.setColor(VERSION_COLOR);
+		g2.drawGlyphVector(gv, (float)(VERSION_POSITION_X - width), (float)VERSION_POSITION_Y);
+		
+	}
+	
+	
+	/**
+	 * Return the current splash screen or <code>null</code> if not available.
+	 * This method catches the possible exceptions and returns null if they occur.
+	 * 
+	 * @return	the current splash screen, or <code>null</code>.
+	 */
+	private static SplashScreen getSplash() {
+		try {
+			return SplashScreen.getSplashScreen();
+		} catch (RuntimeException e) {
+			return null;
+		}
+	}
+	
+
+	
+	
+	public static void main(String[] args) throws InterruptedException, IOException {
+		System.out.println("Calling init...");
+		System.out.println("Init returned " + Splash.init());
+		System.out.println("Press enter...");
+		System.in.read();
+		System.out.println("Exiting...");
+	}
+
+}