📄 help.java
字号:
/** * Created on 18-Jun-2003 * * To change the template for this generated file go to * Window>Preferences>Java>Code Generation>Code and Comments */package TreeJuxtaposer;import java.awt.BorderLayout ;import javax.swing.*;import java.io.*;import java.awt.event.*;//import javax.swing.JFrame;/** * @author jslack * * To change the template for this generated type comment go to * Window>Preferences>Java>Code Generation>Code and Comments */public class Help { static public JFrame contentFrame; static public JFrame aboutFrame; String filename = "README"; ; private String credits="" ;Help(){} final protected static BufferedReader getResourceAsReader( String resource ) { InputStream is=Help.class.getResourceAsStream(resource) ; BufferedReader reader=new BufferedReader(new InputStreamReader(is)) ; return reader ; }/** Load a resource and return its contents as a string * @return resource contents on success; null on failure * @param string name of resource */ protected String getReadme() {// InputStream is = Help.Class.getResourceAsStream(filename); BufferedReader br = getResourceAsReader(filename); try { String temp =""; StringBuffer buf = new StringBuffer();// Reader rd = new FileReader(filename);// InputStreamReader isd = new InputStreamReader(is); while((temp = br.readLine())!= null) buf.append(temp + "\n"); return buf.toString(); } catch(Exception e){ System.out.println("Error: " + e.toString()); return ""; } } public void showContentFrame() { contentFrame=new JFrame() ; contentFrame.show() ; } public void showAboutFrame() { aboutFrame=new JFrame() ; javax.swing.text.DefaultStyledDocument doc=new javax.swing.text.DefaultStyledDocument() ; credits=getReadme() ; try { doc.insertString(0,credits,null) ; } catch( javax.swing.text.BadLocationException ble ) { } JTextPane jed = new JTextPane(); jed.setDocument(doc) ; jed.setEditable(false) ; JScrollPane scroller = new JScrollPane(jed); scroller.setMinimumSize(new java.awt.Dimension(450,300)) ; scroller.setPreferredSize(new java.awt.Dimension(450,650)) ; aboutFrame.getContentPane().add(BorderLayout.CENTER, scroller) ; JButton ok=new JButton("Ok"); ok.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { aboutFrame.dispose(); }}); aboutFrame.getContentPane().add(BorderLayout.SOUTH, ok) ; aboutFrame.pack() ; aboutFrame.setLocation(570,30); aboutFrame.show() ; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -