?? helpdialog.java
字號:
package Designer;
/**
* Help dialog.
* Copyright (c) 2003
* @author Mark Busman
* @version 1.0
*
* For License and contact information see WAPIDE.java
*/
import java.io.*;
import java.net.URL;
import java.util.*;
import javax.swing.text.html.*;
import javax.swing.text.*;
import javax.swing.*;
import javax.swing.event.*;
public class HelpDialog extends javax.swing.JDialog {
private javax.swing.JScrollPane jScrollPane1;
private javax.swing.JEditorPane HelpEditor;
/** Creates new form HelpDialog */
public HelpDialog(java.awt.Frame parent, boolean modal) {
super (parent, modal);
jbInit();
pack ();
setSize(400, 400);
try {
String u = Designer.PhoneDesigner.class.getResource("help.htm").getFile();
HelpEditor.setPage(new URL("file:" + u));
// alternative to using JEditorPane is to invoke a local browser
//java.lang.Runtime.getRuntime().exec("D:/Program Files/Internet Explorer/iexplore file://" + u );
}
catch (Exception e) {
setVisible(false);
dispose();
/*try { // for development use only
HelpEditor.setPage(new URL("file:/e:/programs/forte4j/development/wap/help.html"));
}
catch (Exception ee) {
setVisible(false);
dispose();
} */
}
}
/** This method is called from within the constructor to
* initialize the form.
*/
private void jbInit() {
jScrollPane1 = new javax.swing.JScrollPane ();
HelpEditor = new javax.swing.JEditorPane ();
addWindowListener (new java.awt.event.WindowAdapter () {
public void windowClosing (java.awt.event.WindowEvent evt) {
closeDialog (evt);
}
}
);
HelpEditor.setEditable (false);
HelpEditor.setContentType("text/html");
HelpEditor.addHyperlinkListener(new javax.swing.event.HyperlinkListener() {
public void hyperlinkUpdate(HyperlinkEvent e) {
HelpEditor_hyperlinkUpdate(e);
}
});
jScrollPane1.setViewportView (HelpEditor);
getContentPane ().add (jScrollPane1, java.awt.BorderLayout.CENTER);
}
/** Closes the dialog */
private void closeDialog(java.awt.event.WindowEvent evt) {
setVisible (false);
dispose ();
}
/**
* @param args the command line arguments
*/
public static void main (String args[]) {
new HelpDialog (new javax.swing.JFrame (), true).show ();
}
void HelpEditor_hyperlinkUpdate(HyperlinkEvent e) {
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
JEditorPane pane = (JEditorPane) e.getSource();
if (e instanceof HTMLFrameHyperlinkEvent) {
HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent)e;
HTMLDocument doc = (HTMLDocument)pane.getDocument();
doc.processHTMLFrameHyperlinkEvent(evt);
} else {
try {
pane.setPage(e.getURL());
} catch (Throwable t) {
t.printStackTrace();
}
}
}
}
}
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -