X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FSplashScreen.java;h=2d5e63b48b89371960366fa5b287c49169456d9e;hb=a0ca13ac05f537ec85620b982650df13826c121e;hp=794bbb8aaf8e265eea3ec727ad885b71152c70a8;hpb=99c58ee0ae2a848f982552e53feaf6d5cb9925e5;p=jalview.git diff --git a/src/jalview/gui/SplashScreen.java b/src/jalview/gui/SplashScreen.java index 794bbb8..2d5e63b 100755 --- a/src/jalview/gui/SplashScreen.java +++ b/src/jalview/gui/SplashScreen.java @@ -1,99 +1,383 @@ -/* -* Jalview - A Sequence Alignment Editor and Viewer -* Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle -* -* 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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA -*/ - -package jalview.gui; - -import javax.swing.*; -import java.awt.*; -import java.awt.event.*; - -public class SplashScreen extends JPanel implements Runnable -{ - boolean visible = true; - JInternalFrame iframe; - Image image; - - public SplashScreen(JInternalFrame iframe, Image i) - { - this.iframe = iframe; - image = i; - Thread t = new Thread(this); - t.start(); - addMouseListener(new MouseAdapter() - { public void mousePressed(MouseEvent evt) - { - try - { closeSplash(); } - catch (Exception ex) - {} - } - }); - } - - - public void run() - { - long startTime = System.currentTimeMillis()/1000; - - while( visible ) - { - if( System.currentTimeMillis()/1000 - startTime > 5) - visible = false; - - try{ - Thread.sleep(1000); - } - catch(Exception ex){} - } - closeSplash(); - } - - public void closeSplash() - { - try - { - iframe.setClosed(true); - } - catch (Exception ex) - {} - - } - - int fontSize = 11; - int yoffset = 30; - public void paintComponent(Graphics g) - { - g.setColor(Color.white); - g.fillRect(0,0,getWidth(),getHeight()); - g.setColor(Color.black); - g.setFont( new Font("Verdana", Font.BOLD, fontSize+6)); - if(image!=null) - g.drawImage(image, 5,yoffset+12,this); - g.drawString("JalView 2005 ", 50,yoffset); - g.setFont( new Font("Verdana", Font.BOLD, fontSize+2)); - g.drawString("Version "+jalview.bin.Cache.VERSION+"; Last updated: "+jalview.bin.Cache.BUILD_DATE, 180,yoffset); - g.setFont( new Font("Verdana", Font.BOLD, fontSize)); - g.drawString("Authors: Michele Clamp, James Cuff, Steve Searle, Andrew Waterhouse, Jim Procter & Geoff Barton.",50,yoffset+20); - g.drawString("Current development managed by Andrew Waterhouse; Barton Group, University of Dundee.",50,yoffset+24+fontSize); - g.drawString("If you use JalView, please cite: Clamp, M., Cuff, J., Searle, S. M. and Barton, G. J. (2004),",50,yoffset+28+fontSize*2); - g.drawString("\"The Jalview Java Alignment Editor\" Bioinformatics, 2004 12;426-7.",50,yoffset+32+fontSize*3); - - } - -} +/* + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors + * + * This file is part of Jalview. + * + * Jalview 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 3 + * of the License, or (at your option) any later version. + * + * Jalview 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 Jalview. If not, see . + * The Jalview Authors are detailed in the 'AUTHORS' file. + */ +package jalview.gui; + +import java.awt.BorderLayout; +import java.awt.Color; +import java.awt.Component; +import java.awt.Dimension; +import java.awt.Font; +import java.awt.Graphics; +import java.awt.Image; +import java.awt.MediaTracker; +import java.awt.event.MouseAdapter; +import java.awt.event.MouseEvent; + +import javax.swing.JInternalFrame; +import javax.swing.JLabel; +import javax.swing.JLayeredPane; +import javax.swing.JPanel; +import javax.swing.JTextPane; +import javax.swing.event.HyperlinkEvent; +import javax.swing.event.HyperlinkListener; + +import jalview.util.ChannelProperties; +import jalview.util.Platform; + +/** + * DOCUMENT ME! + * + * @author $author$ + * @version $Revision$ + */ +public class SplashScreen extends JPanel + implements Runnable, HyperlinkListener +{ + private static final int SHOW_FOR_SECS = 5; + + private static final int FONT_SIZE = 11; + + private boolean visible = true; + + private JPanel iconimg = new JPanel(new BorderLayout()); + + // could change fg, bg, font later to use ChannelProperties (these are not + // actually being used!) + private static Color bg = Color.WHITE; + + private static Color fg = Color.BLACK; + + private static Font font = new Font("SansSerif", Font.PLAIN, FONT_SIZE); + + /* + * as JTextPane in Java, JLabel in javascript + */ + private Component splashText; + + private JInternalFrame iframe; + + private Image image; + + private boolean transientDialog = false; + + private long oldTextLength = -1; + + public static int logoSize = 32; + + /* + * allow click in the initial splash screen to dismiss it + * immediately (not if opened from About menu) + */ + private MouseAdapter closer = new MouseAdapter() + { + @Override + public void mousePressed(MouseEvent evt) + { + if (transientDialog) + { + try + { + visible = false; + closeSplash(); + } catch (Exception ex) + { + } + } + } + }; + + /** + * Constructor that displays the splash screen + * + * @param isTransient + * if true the panel removes itself on click or after a few seconds; + * if false it stays up until closed by the user + */ + public SplashScreen(boolean isTransient) + { + this.transientDialog = isTransient; + + if (Platform.isJS()) // BH 2019 + { + splashText = new JLabel(""); + run(); + } + else + { + /** + * Java only + * + * @j2sIgnore + */ + { + splashText = new JTextPane(); + splashText.setBackground(bg); + splashText.setForeground(fg); + splashText.setFont(font); + Thread t = new Thread(this); + t.start(); + } + } + } + + /** + * ping the jalview version page then create and display the jalview + * splashscreen window. + */ + void initSplashScreenWindow() + { + addMouseListener(closer); + + try + { + if (!Platform.isJS()) + { + image = ChannelProperties.getImage("banner"); + Image logo = ChannelProperties.getImage("logo.48"); + MediaTracker mt = new MediaTracker(this); + if (image != null) + { + mt.addImage(image, 0); + } + if (logo != null) + { + mt.addImage(logo, 1); + } + do + { + try + { + mt.waitForAll(); + } catch (InterruptedException x) + { + } + if (mt.isErrorAny()) + { + System.err.println("Error when loading images!"); + } + } while (!mt.checkAll()); + Desktop.instance.setIconImages(ChannelProperties.getIconList()); + } + } catch (Exception ex) + { + } + + this.setBackground(bg); + this.setForeground(fg); + this.setFont(font); + + iframe = new JInternalFrame(); + iframe.setFrameIcon(null); + iframe.setClosable(true); + this.setLayout(new BorderLayout()); + iframe.setContentPane(this); + iframe.setLayer(JLayeredPane.PALETTE_LAYER); + iframe.setBackground(bg); + iframe.setForeground(fg); + iframe.setFont(font); + + if (Platform.isJS()) + { + // ignore in JavaScript + } + else + /** + * Java only + * + * @j2sIgnore + */ + { + ((JTextPane) splashText).setEditable(false); + splashText.setBackground(bg); + splashText.setForeground(fg); + splashText.setFont(font); + + SplashImage splashimg = new SplashImage(image); + iconimg.add(splashimg, BorderLayout.LINE_START); + iconimg.setBackground(bg); + add(iconimg, BorderLayout.NORTH); + } + add(splashText, BorderLayout.CENTER); + splashText.addMouseListener(closer); + Desktop.desktop.add(iframe); + refreshText(); + } + + /** + * update text in author text panel reflecting current version information + */ + protected boolean refreshText() + { + String newtext = Desktop.instance.getAboutMessage(); + // System.err.println("Text found: \n"+newtext+"\nEnd of newtext."); + if (oldTextLength != newtext.length()) + { + iframe.setVisible(false); + oldTextLength = newtext.length(); + if (Platform.isJS()) // BH 2019 + { + /* + * SwingJS doesn't have HTMLEditorKit, required for a JTextPane + * to display formatted html, so we use a simple alternative + */ + String text = "
" + newtext + + "
"; + JLabel ta = new JLabel(text); + ta.setOpaque(true); + ta.setBackground(Color.white); + splashText = ta; + } + else + /** + * Java only + * + * @j2sIgnore + */ + { + JTextPane jtp = new JTextPane(); + jtp.setEditable(false); + jtp.setBackground(bg); + jtp.setForeground(fg); + jtp.setFont(font); + jtp.setContentType("text/html"); + jtp.setText("" + newtext + ""); + jtp.addHyperlinkListener(this); + splashText = jtp; + } + splashText.addMouseListener(closer); + + splashText.setVisible(true); + splashText.setSize(new Dimension(750, + 375 + logoSize + (Platform.isJS() ? 40 : 0))); + splashText.setBackground(bg); + splashText.setForeground(fg); + splashText.setFont(font); + add(splashText, BorderLayout.CENTER); + revalidate(); + int width = Math.max(splashText.getWidth(), iconimg.getWidth()); + int height = splashText.getHeight() + iconimg.getHeight(); + iframe.setBounds((Desktop.instance.getWidth() - width) / 2, + (Desktop.instance.getHeight() - height) / 2, width, height); + iframe.validate(); + iframe.setVisible(true); + return true; + } + return false; + } + + /** + * Create splash screen, display it and clear it off again. + */ + @Override + public void run() + { + initSplashScreenWindow(); + + long startTime = System.currentTimeMillis() / 1000; + + while (visible) + { + iframe.repaint(); + try + { + Thread.sleep(500); + } catch (Exception ex) + { + } + + if (transientDialog && ((System.currentTimeMillis() / 1000) + - startTime) > SHOW_FOR_SECS) + { + visible = false; + } + + if (visible && refreshText()) + { + iframe.repaint(); + } + if (!transientDialog) + { + return; + } + } + + closeSplash(); + Desktop.instance.startDialogQueue(); + } + + /** + * DOCUMENT ME! + */ + public void closeSplash() + { + try + { + + iframe.setClosed(true); + } catch (Exception ex) + { + } + } + + public class SplashImage extends JPanel + { + Image image; + + public SplashImage(Image todisplay) + { + image = todisplay; + if (image != null) + { + setPreferredSize(new Dimension(image.getWidth(this) + 8, + image.getHeight(this))); + } + } + + @Override + public Dimension getPreferredSize() + { + return new Dimension(image.getWidth(this) + 8, image.getHeight(this)); + } + + @Override + public void paintComponent(Graphics g) + { + g.setColor(bg); + g.fillRect(0, 0, getWidth(), getHeight()); + g.setColor(fg); + g.setFont(new Font(font.getFontName(), Font.BOLD, FONT_SIZE + 6)); + + if (image != null) + { + g.drawImage(image, (getWidth() - image.getWidth(this)) / 2, + (getHeight() - image.getHeight(this)) / 2, this); + } + } + } + + @Override + public void hyperlinkUpdate(HyperlinkEvent e) + { + Desktop.hyperlinkUpdate(e); + + } +}