📄 browser.java
字号:
/*
* YALE - Yet Another Learning Environment
* Copyright (C) 2001-2004
* Simon Fischer, Ralf Klinkenberg, Ingo Mierswa,
* Katharina Morik, Oliver Ritthoff
* Artificial Intelligence Unit
* Computer Science Department
* University of Dortmund
* 44221 Dortmund, Germany
* email: yale-team@lists.sourceforge.net
* web: http://yale.cs.uni-dortmund.de/
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
* USA.
*/
package edu.udo.cs.yale.gui;
import edu.udo.cs.yale.tools.Tools;
import javax.swing.JEditorPane;
import javax.swing.event.HyperlinkListener;
import javax.swing.event.HyperlinkEvent;
import javax.swing.text.html.HTMLFrameHyperlinkEvent;
import javax.swing.text.html.HTMLDocument;
import javax.swing.JDialog;
import javax.swing.JMenuBar;
import javax.swing.JMenu;
import javax.swing.JMenuItem;
import javax.swing.JScrollPane;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.net.URL;
import java.net.MalformedURLException;
import java.io.IOException;
public class Browser extends JEditorPane implements HyperlinkListener {
public Browser() {
setEditable(false);
setMargin(new java.awt.Insets(5,5,5,5));
addHyperlinkListener(this);
}
public void hyperlinkUpdate(HyperlinkEvent e) {
if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
if (e instanceof HTMLFrameHyperlinkEvent) {
HTMLFrameHyperlinkEvent evt = (HTMLFrameHyperlinkEvent)e;
HTMLDocument doc = (HTMLDocument)this.getDocument();
doc.processHTMLFrameHyperlinkEvent(evt);
} else {
try {
setPage(e.getURL());
} catch (Throwable t) {
SwingTools.showErrorMessage("While following link:", t);
}
}
}
}
private JMenuItem createItem(String name, final URL url) {
JMenuItem item = new JMenuItem(name);
item.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
try {
Browser.this.setPage(url);
} catch (IOException t) {
SwingTools.showErrorMessage("Cannot find '"+url+"'", t);
}
}
});
return item;
}
public static void showDialog(URL url) {
Browser browser = new Browser();
JDialog dialog = new JDialog();
dialog.setTitle("Yale Browser");
JMenuBar menuBar = new JMenuBar();
JMenu visitMenu = new JMenu("Browse");
visitMenu.add(browser.createItem("Yale GUI Manual", Tools.getResource("html/manual/Manual.html")));
try {
visitMenu.add(browser.createItem("Yale@WWW", new URL("http://yale.cs.uni-dortmund.de")));
} catch (MalformedURLException e) {}
visitMenu.add(browser.createItem("License", Tools.getResource("LICENSE.html")));
menuBar.add(visitMenu);
dialog.setJMenuBar(menuBar);
JScrollPane editorScrollPane = new JScrollPane(browser);
editorScrollPane.setPreferredSize(new java.awt.Dimension(600,500));
dialog.getContentPane().add(editorScrollPane);
dialog.pack();
dialog.show();
try {
browser.setPage(url);
} catch (Throwable e) {
SwingTools.showErrorMessage("Cannot find '"+url+"'!", e);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -