📄 gui_helpdialog.java
字号:
import javax.swing.*;import java.awt.*;import java.io.*;/** * Projet de langage JAVA IFITEP 3 2005 - Simulateur 8051 * <p> * GUI_HelpDialog * * @author Matthieu SIMON * @version 1.0 du 28/06/05 */public class GUI_HelpDialog extends JFrame { public GUI_HelpDialog(String url) { super(); setTitle(Simulator8051.FRAME_TITLE + " -- Help"); JEditorPane editorPane = new JEditorPane(); java.net.URL helpURL = Simulator8051.class.getResource(url); if(helpURL != null) { try { editorPane.setPage(helpURL); } catch (IOException e) { getContentPane().add(new JLabel("Error, can't open URL : " + url), BorderLayout.NORTH); } editorPane.setEditable(false); JScrollPane editorScrollPane = new JScrollPane(editorPane); editorScrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS); editorScrollPane.setMinimumSize(new Dimension(10, 10)); getContentPane().add(editorScrollPane); } else getContentPane().add(new JLabel("Error, can't open URL : " + url), BorderLayout.NORTH); setSize(700, 500); setVisible(true); //setAlwaysOnTop(true); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -