📄 splashwindow.java
字号:
package org.jawin.browser.splash;
import javax.swing.*;
import org.jawin.browser.image.ImageManager;
import org.jawin.browser.config.ConfigManager;
import java.awt.*;
/**
* <p>Title: Jawin Code Generation GUI</p>
* <p>Description: GUI for exploring type libraries and generating Java code</p>
* <p>Copyright: Copyright (c) 2003</p>
* <p>Company: Open Source Incentive</p>
* @author Josh Passenger
* @version 1.0
*/
public class SplashWindow extends JWindow
{
private ImageIcon splashIcon = ImageManager.getInstance().getImage("images/splash.png");
private JLabel splashLabel = new JLabel();
public SplashWindow()
{
try
{
jbInit();
}
catch(Exception e)
{
e.printStackTrace();
}
}
private void jbInit() throws Exception
{
setSize(new Dimension(400, 300));
splashLabel.setIconTextGap(0);
splashLabel.setIcon(splashIcon);
this.getContentPane().add(splashLabel, BorderLayout.CENTER);
}
public void show()
{
center();
super.show();
}
public void center()
{
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
Dimension size = getSize();
if (size.height > screenSize.height)
{
size.height = screenSize.height;
}
if (size.width > screenSize.width)
{
size.width = screenSize.width;
}
setLocation((screenSize.width - size.width) / 2, (screenSize.height - size.height) / 2);
}
public void paint(Graphics g)
{
super.paint(g);
g.drawString("Jawin Type Browser", 260, 40);
g.drawString("Josh Passenger", 260, 60);
g.drawString(ConfigManager.getInstance().getString("release.version", "No release version"), 260, 80);
g.drawString(ConfigManager.getInstance().getString("release.date", "No release date"), 260, 100);
g.drawString(ConfigManager.getInstance().getString("release.id", "No release id"), 260, 120);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -