📄 bookmarkmanager.java

📁 Java程序设计技巧与开发实例附书源代码。

💻 JAVA

字号:


import java.io.*;

import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.event.*;

public class BookmarkManager
    extends JFrame
    implements ListSelectionListener, HyperlinkListener {
  private DefaultListModel data = new DefaultListModel();
  private JList list = new JList(data);
  private JEditorPane info = new JEditorPane();
  private class WindowCloser
      extends WindowAdapter {
    public void windowClosing(WindowEvent we) {
      System.exit(0);
    }
  }

  public BookmarkManager() {
    super("Bookmark Manager");
    Bookmark samples[] = Bookmark.getSampleBookmarks();
    for (int i = 0; i < samples.length; i++) {
      data.addElement(samples[i]);
    }
    info.setEditable(false);
    JScrollPane scrollList = new JScrollPane(list);
    JScrollPane scrollInfo = new JScrollPane(info);
    scrollList.setPreferredSize(new Dimension(150, 200));
    scrollInfo.setPreferredSize(new Dimension(300, 200));
    JSplitPane split = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,
                                      new JPanelBox(scrollList, "Bookmarks"),
                                      new JPanelBox(scrollInfo, "Description"));
    getContentPane().add("Center", split);
    list.addListSelectionListener(this);
    info.addHyperlinkListener(this);
    addWindowListener(new WindowCloser());
    validate();
    pack();
    setVisible(true);
  }

  public void valueChanged(ListSelectionEvent lse) {
    if (!lse.getValueIsAdjusting()) {
      showBookmark(list.getSelectedIndex());
    }
  }

  public void hyperlinkUpdate(HyperlinkEvent hle) {
    if (hle.getEventType() == HyperlinkEvent.EventType.ACTIVATED) {
      try {
        info.setPage(hle.getURL());
      }
      catch (IOException ioe) {
        info.setText("<B>" + hle.getURL() + "unloadable</B><P>" + ioe);
      }
    }
  }

  private void showBookmark(int i) {
    Bookmark mark = (Bookmark) data.get(i);
    String s = "<HTML><H1>" + mark.title + "</H1><UL>";
    s += "<LI><B>Address: </B><A HREF='" + mark.address + "'>";
    s += mark.address + "</A></LI>";
    s += "<LI><B>Category: </B><I>" + mark.category + "</I></LI>";
    s += "<LI><B>Description: </B>" + mark.description + "</LI></UL></HTML>";
    info.setContentType("text/html");
    info.setText(s);
  }

  public static void main(String args[]) {
    BookmarkManager bm = new BookmarkManager();
  }
}

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -