⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 libraryhelp.java

📁 library managemt system...
💻 JAVA
字号:
import javax.swing.*;
import java.awt.*;
import java.net.URL;
import java.net.MalformedURLException;
import java.io.*;
import javax.swing.text.*;
import javax.swing.event.*;

public class LibraryHelp extends JInternalFrame {

	//Constructor of Class.

	public LibraryHelp (String title, String filename) {

		//super(Title, Resizable, Closable, Maximizable, Iconifiable)
		super (title, true, true, true, true);
		setSize (500, 350);

		HtmlPane html = new HtmlPane (filename);	
		setContentPane (html);				

		setVisible (true);

	}

}

//Following Class Show HTML Help inside an EditorPane.

class HtmlPane extends JScrollPane implements HyperlinkListener {

	JEditorPane html;

	public HtmlPane (String filename) {

		try {
			File f = new File (filename);		
			String s = f.getAbsolutePath();		
			s = "file:" + s;
			URL url = new URL (s);			
			html = new JEditorPane (s);		
			html.setEditable (false);		
			html.addHyperlinkListener (this);
			JViewport vp = getViewport();	
			vp.add (html);				
		}
		catch (MalformedURLException e) { }
		catch (IOException e) {	}

	}

	//Function Perform By the HyperLinks of HTML Help File.

	public void hyperlinkUpdate (HyperlinkEvent e) {
	
		if (e.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
			linkActivated (e.getURL());
		}
	}

	//Function for Loading other HTML Pages in Your HTML Help.

	protected void linkActivated (URL u) {

		Cursor c = html.getCursor();
		Cursor waitCursor = Cursor.getPredefinedCursor (Cursor.WAIT_CURSOR);
		html.setCursor (waitCursor);
		SwingUtilities.invokeLater (new PageLoader (u, c));

	}

	//Following Class Load Other Pages Included in Our HTML Help File.

	class PageLoader implements Runnable {

		//Constructor of Class.

		PageLoader (URL u, Cursor c) {

			url = u;
			cursor = c;

		}

		public void run () {
	
			if (url == null) {
				html.setCursor (cursor);
				Container parent = html.getParent();
				parent.repaint();
			}
			else {
				Document doc = html.getDocument();
				try {
					html.setPage (url);
				}
				catch (IOException ioe) {
					html.setDocument (doc);
					getToolkit().beep();
				}
				finally {
					url = null;
					SwingUtilities.invokeLater (this);
				}
			}

		}

		URL url;
		Cursor cursor;

	}

}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -