/* * The Unified Mapping Platform (JUMP) is an extensible, interactive GUI * for visualizing and manipulating spatial features with geometry and attributes. * * Copyright (C) 2003 Vivid Solutions * * 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. * * For more information, contact: * * Vivid Solutions * Suite #1A * 2328 Government Street * Victoria BC V8T 5G5 * Canada * * (250)385-6040 * www.vividsolutions.com */ package com.vividsolutions.jump.workbench.ui; import java.awt.BorderLayout; import java.util.Iterator; import javax.swing.JEditorPane; import javax.swing.JPanel; import javax.swing.JScrollPane; import com.vividsolutions.jts.JTSVersion; import com.vividsolutions.jump.workbench.plugin.Configuration; import com.vividsolutions.jump.workbench.plugin.PlugInManager; public class ExtensionsAboutPanel extends JPanel { private BorderLayout borderLayout1 = new BorderLayout(); private JScrollPane scrollPane = new JScrollPane(); private JEditorPane editorPane = new JEditorPane(); public ExtensionsAboutPanel() { try { jbInit(); } catch (Exception ex) { ex.printStackTrace(); } } public void setPlugInManager(PlugInManager plugInManager) { StringBuffer sb = new StringBuffer(); sb.append("<html><head></head><body>"); // display standard system libs info sb.append("<b>JTS " + JTSVersion.CURRENT_VERSION + "</b><br>"); sb.append("<hr>"); // user extensions for (Iterator i = plugInManager.getConfigurations().iterator(); i.hasNext();) { Configuration configuration = (Configuration) i.next(); sb.append( "<b>" + GUIUtil.escapeHTML(PlugInManager.name(configuration), false, false) + "</b> " + GUIUtil.escapeHTML(PlugInManager.version(configuration), false, false) + "<br>"); } sb.append("</body></html>"); editorPane.setText(sb.toString()); } void jbInit() throws Exception { this.setLayout(borderLayout1); editorPane.setEditable(false); editorPane.setOpaque(false); editorPane.setText("jEditorPane1"); editorPane.setContentType("text/html"); this.add(scrollPane, BorderLayout.CENTER); scrollPane.getViewport().add(editorPane, null); } }