⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 jawesplash.java

📁 jawe的最新版本,基于Java的图形化工作流编辑器。图形化工作流编辑器 。使用JAVA语言开发
💻 JAVA
字号:
package org.enhydra.jawe;import java.awt.BorderLayout;import java.awt.Color;import java.awt.event.MouseAdapter;import java.awt.event.MouseEvent;import java.net.URL;import javax.swing.ImageIcon;import javax.swing.JEditorPane;import javax.swing.JLabel;import javax.swing.JPanel;import javax.swing.JWindow;import javax.swing.SwingConstants;public class JaWESplash extends JWindow {   public JaWESplash() {      URL imageURL = null;      String image = JaWEManager.getSplashScreenImage();      if (image != null && !"".equals(image)) {         imageURL = JaWEManager.class.getClassLoader().getResource(image);      }      JLabel l = null;      if(imageURL!=null) {         l=new JLabel(new ImageIcon(imageURL));      } else {         l=new JLabel("");      }      getContentPane().add(l, BorderLayout.CENTER);      Utils.center(this, 100, 200);      addMouseListener(new MouseAdapter() {         public void mousePressed(MouseEvent e) {            hideSplash();         }      });      setVisible(true);   }   public void hideSplash () {      if (isVisible()) {         setVisible(false);         dispose();      }   }      public static JPanel getSplashPanel() {      Hyperactive ha = new Hyperactive();            JPanel p = new JPanel();      p.setLayout(new BorderLayout());            p.setBackground(Color.WHITE);            URL imageURL = null;      // logo      String image = JaWEManager.getSplashScreenImage();      if (image != null && !"".equals(image)) {         imageURL = JaWEManager.class.getClassLoader().getResource(image);      }      JLabel logo = null;      if (imageURL!=null) {         logo=new JLabel(new ImageIcon(imageURL), SwingConstants.CENTER);      } else {         logo=new JLabel("", SwingConstants.CENTER);      }               JEditorPane text = new JEditorPane();      text.setAlignmentX(CENTER_ALIGNMENT);      text.setAlignmentY(TOP_ALIGNMENT);      text.addHyperlinkListener(ha);      text.setContentType("text/html");      text.setOpaque(false);      String t = "<html><p align=center><b>Version:  " + JaWEManager.getVersion() + "-"+JaWEManager.getRelease()+"</b>"            + "<br>Build Id: " + JaWEManager.getBuildEdition()+ JaWEManager.getBuildEditionSuffix() + "-"+JaWEManager.getBuildNo() + "<br><br>"             + JaWEManager.getAboutMsg();         text.setText(t);      text.setEditable(false);                  p.add(logo, BorderLayout.NORTH);      p.add(text, BorderLayout.CENTER);      return p;   }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -