Changeset 2715 in josm for trunk/src/org/openstreetmap/josm/gui/help

Timestamp:

2009-12-30T22:02:32+01:00 (15 years ago)

Author:

stoecker

Message:

fixed #3772, #4139 - fixed help browser - the external start never worked for official releases, the blocking of helpbrowser for dialogs will be fixed after Java 1.6 switch

Location:

trunk/src/org/openstreetmap/josm/gui/help

Files:

• ContextSensitiveHelpAction.java (modified) (1 diff)
• HelpApplication.java (deleted)
• HelpBrowser.java (modified) (6 diffs)
• HelpBrowserCommandProcessor.java (deleted)
• HelpBrowserHistory.java (modified) (1 diff)
• HelpBrowserProxy.java (deleted)

trunk/src/org/openstreetmap/josm/gui/help/ContextSensitiveHelpAction.java

@@ -52 +52 @@
     public void actionPerformed(ActionEvent e) {
         if (helpTopic != null) {
-            HelpBrowserProxy.getInstance().setUrlForHelpTopic(helpTopic);
+            HelpBrowser.setUrlForHelpTopic(helpTopic);
         }
     }

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

@@ -7 +7 @@
 
 import java.awt.BorderLayout;
+import java.awt.Dimension;
+import java.awt.Point;
 import java.awt.Rectangle;
+import java.awt.Toolkit;
 import java.awt.event.ActionEvent;
 import java.awt.event.KeyEvent;
@@ -32 +35 @@
 import javax.swing.JToolBar;
 import javax.swing.KeyStroke;
+import javax.swing.SwingUtilities;
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
@@ -48 +52 @@
 import org.openstreetmap.josm.tools.ImageProvider;
 import org.openstreetmap.josm.tools.OpenBrowser;
+import org.openstreetmap.josm.tools.WindowGeometry;
 
 public class HelpBrowser extends JFrame {
@@ -66 +71 @@
         return instance;
     }
+
+    /**
+     * Show the help page for help topic <code>helpTopic</code>.
+     *
+     * @param helpTopic the help topic
+     */
+    public static void setUrlForHelpTopic(final String helpTopic) {
+        final HelpBrowser browser = getInstance();
+        Runnable r = new Runnable() {
+            public void run() {
+                browser.openHelpTopic(helpTopic);
+                browser.setVisible(true);
+                browser.toFront();
+            }
+        };
+        SwingUtilities.invokeLater(r);
+    }
+
 
     /**
@@ -101 +124 @@
         BufferedReader reader = new BufferedReader(
                 new InputStreamReader(
-                        getClass().getResourceAsStream("help-browser.css")
+                        getClass().getResourceAsStream("/data/help-browser.css")
                 )
         );
@@ -162 +185 @@
         });
 
+        setMinimumSize(new Dimension(400, 200));
         setTitle(tr("JOSM Help Browser"));
+    }
+
+    @Override
+    public void setVisible(boolean visible) {
+        if (visible) {
+            new WindowGeometry(
+                    getClass().getName() + ".geometry",
+                    WindowGeometry.centerInWindow(
+                            getParent(),
+                            new Dimension(600,400)
+                    )
+            ).apply(this);
+        } else if (!visible && isShowing()){
+            new WindowGeometry(this).remember(getClass().getName() + ".geometry");
+        }
+        super.setVisible(visible);
     }
 

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java

@@ -11 +11 @@
     private int historyPos = 0;
 
-    public HelpBrowserHistory(HelpBrowser brower) {
-        this.browser = brower;
+    public HelpBrowserHistory(HelpBrowser browser) {
+        this.browser = browser;
         history = new ArrayList<String>();
     }