📄 helpframe.java
字号:
package datastructure;
/**
* <p>Title: </p>
* <p>Description: </p>
* <p>Copyright: Copyright (c) 2004</p>
* <p>Company: </p>
* @author unascribed
* @version 1.0
*/
import java.awt.*;
import java.awt.event.WindowEvent;
import java.awt.event.WindowListener;
import javax.swing.*;
public class HelpFrame
extends JFrame {
HelpPanel helpPanel;
Root root;
public HelpFrame(String s, Root root) {
super("帮助");
this.root = root;
helpPanel = new HelpPanel(s);
Container container = getContentPane();
container.setLayout(new BorderLayout());
container.add(helpPanel, "Center");
setSize(400, 415);
}
protected void processWindowEvent(WindowEvent e) {
super.processWindowEvent(e);
if (e.getID() == WindowEvent.WINDOW_CLOSING) {
this.setVisible(false);
this.dispose();
}
}
public void showNewHtmlPage(String s) {
helpPanel.showNewHtmlPage(s);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -