01: /*
02: * The Unified Mapping Platform (JUMP) is an extensible, interactive GUI
03: * for visualizing and manipulating spatial features with geometry and attributes.
04: *
05: * Copyright (C) 2003 Vivid Solutions
06: *
07: * This program is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License
09: * as published by the Free Software Foundation; either version 2
10: * of the License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public License
18: * along with this program; if not, write to the Free Software
19: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20: *
21: * For more information, contact:
22: *
23: * Vivid Solutions
24: * Suite #1A
25: * 2328 Government Street
26: * Victoria BC V8T 5G5
27: * Canada
28: *
29: * (250)385-6040
30: * www.vividsolutions.com
31: */
32: package com.vividsolutions.jump.workbench.ui;
33:
34: import java.awt.BorderLayout;
35: import java.util.Iterator;
36:
37: import javax.swing.JEditorPane;
38: import javax.swing.JPanel;
39: import javax.swing.JScrollPane;
40:
41: import com.vividsolutions.jts.JTSVersion;
42: import com.vividsolutions.jump.workbench.plugin.Configuration;
43: import com.vividsolutions.jump.workbench.plugin.PlugInManager;
44:
45: public class ExtensionsAboutPanel extends JPanel {
46:
47: private BorderLayout borderLayout1 = new BorderLayout();
48: private JScrollPane scrollPane = new JScrollPane();
49: private JEditorPane editorPane = new JEditorPane();
50:
51: public ExtensionsAboutPanel() {
52: try {
53: jbInit();
54: } catch (Exception ex) {
55: ex.printStackTrace();
56: }
57: }
58:
59: public void setPlugInManager(PlugInManager plugInManager) {
60: StringBuffer sb = new StringBuffer();
61: sb.append("<html><head></head><body>");
62:
63: // display standard system libs info
64: sb.append("<b>JTS " + JTSVersion.CURRENT_VERSION + "</b><br>");
65: sb.append("<hr>");
66:
67: // user extensions
68: for (Iterator i = plugInManager.getConfigurations().iterator(); i
69: .hasNext();) {
70: Configuration configuration = (Configuration) i.next();
71: sb.append("<b>"
72: + GUIUtil.escapeHTML(PlugInManager
73: .name(configuration), false, false)
74: + "</b> "
75: + GUIUtil.escapeHTML(PlugInManager
76: .version(configuration), false, false)
77: + "<br>");
78: }
79: sb.append("</body></html>");
80: editorPane.setText(sb.toString());
81: }
82:
83: void jbInit() throws Exception {
84: this .setLayout(borderLayout1);
85: editorPane.setEditable(false);
86: editorPane.setOpaque(false);
87: editorPane.setText("jEditorPane1");
88: editorPane.setContentType("text/html");
89: this.add(scrollPane, BorderLayout.CENTER);
90: scrollPane.getViewport().add(editorPane, null);
91: }
92: }
|