Changeset 2715 in josm


Ignore:
Timestamp:
2009-12-30T22:02:32+01:00 (10 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
Files:
3 deleted
11 edited
1 moved

Legend:

Unmodified
Added
Removed
  • trunk/build.xml

    r2618 r2715  
    8585                <!-- styles -->
    8686                <copy file="styles/standard/elemstyles.xml" todir="build/styles/standard"/>
    87 
    88                 <!-- css-->
    89                 <copy file="src/org/openstreetmap/josm/gui/help/help-browser.css" todir="build/org/openstreetmap/josm/gui/help"/>
    9087
    9188                <!-- create josm-custom.jar -->
  • trunk/src/org/openstreetmap/josm/Main.java

    r2709 r2715  
    5050import org.openstreetmap.josm.gui.SplashScreen;
    5151import org.openstreetmap.josm.gui.dialogs.LayerListDialog;
    52 import org.openstreetmap.josm.gui.help.HelpBrowserProxy;
     52import org.openstreetmap.josm.gui.help.HelpBrowser;
    5353import org.openstreetmap.josm.gui.io.SaveLayersDialog;
    5454import org.openstreetmap.josm.gui.layer.Layer;
     
    392392            }
    393393        }
    394     }
    395 
    396     /**
    397      * Run any cleanup operation before exit
    398      *
    399      */
    400     public static  void cleanupBeforeExit() {
    401         // try to close and exit the help browser running in another process
    402         //
    403         HelpBrowserProxy.getInstance().exit();
    404394    }
    405395
  • trunk/src/org/openstreetmap/josm/actions/ExitAction.java

    r2323 r2715  
    2929        if (Main.saveUnsavedModifications()) {
    3030            Main.saveGuiGeometry();
    31             Main.cleanupBeforeExit();
    3231            System.exit(0);
    3332        }
  • trunk/src/org/openstreetmap/josm/actions/HelpAction.java

    r2347 r2715  
    1212
    1313import org.openstreetmap.josm.Main;
    14 import org.openstreetmap.josm.gui.help.HelpBrowserProxy;
     14import org.openstreetmap.josm.gui.help.HelpBrowser;
    1515import org.openstreetmap.josm.gui.help.HelpUtil;
    1616import org.openstreetmap.josm.tools.ImageProvider;
     
    4343            }
    4444            if (topic == null) {
    45                 HelpBrowserProxy.getInstance().setUrlForHelpTopic("/");
     45                HelpBrowser.setUrlForHelpTopic("/");
    4646            } else {
    47                 HelpBrowserProxy.getInstance().setUrlForHelpTopic(topic);
     47                HelpBrowser.setUrlForHelpTopic(topic);
    4848            }
    4949        } else {
    50             HelpBrowserProxy.getInstance().setUrlForHelpTopic("/");
     50            HelpBrowser.setUrlForHelpTopic("/");
    5151        }
    5252    }
  • trunk/src/org/openstreetmap/josm/gui/ExtendedDialog.java

    r2711 r2715  
    2323
    2424import org.openstreetmap.josm.Main;
    25 import org.openstreetmap.josm.gui.help.HelpBrowserProxy;
     25import org.openstreetmap.josm.gui.help.HelpBrowser;
    2626import org.openstreetmap.josm.gui.help.HelpUtil;
    2727import org.openstreetmap.josm.tools.GBC;
     
    486486
    487487        public void actionPerformed(ActionEvent e) {
    488             HelpBrowserProxy.getInstance().setUrlForHelpTopic(helpTopic);
     488            HelpBrowser.setUrlForHelpTopic(helpTopic);
    489489        }
    490490    }
  • trunk/src/org/openstreetmap/josm/gui/HelpAwareOptionPane.java

    r2512 r2715  
    2222import javax.swing.KeyStroke;
    2323
    24 import org.openstreetmap.josm.gui.help.HelpBrowserProxy;
     24import org.openstreetmap.josm.gui.help.HelpBrowser;
    2525import org.openstreetmap.josm.gui.help.HelpUtil;
    2626import org.openstreetmap.josm.tools.ImageProvider;
     
    111111        Action a = new AbstractAction() {
    112112            public void actionPerformed(ActionEvent e) {
    113                 HelpBrowserProxy.getInstance().setUrlForHelpTopic(helpTopic);
     113                HelpBrowser.setUrlForHelpTopic(helpTopic);
    114114            }
    115115        };
  • trunk/src/org/openstreetmap/josm/gui/MainApplication.java

    r2641 r2715  
    5555                    return;
    5656                Main.saveGuiGeometry();
    57                 Main.cleanupBeforeExit();
    5857                System.exit(0);
    5958            }
  • trunk/src/org/openstreetmap/josm/gui/dialogs/ConflictResolutionDialog.java

    r2626 r2715  
    2828import org.openstreetmap.josm.gui.conflict.pair.ConflictResolver;
    2929import org.openstreetmap.josm.gui.conflict.pair.properties.OperationCancelledException;
    30 import org.openstreetmap.josm.gui.help.HelpBrowserProxy;
     30import org.openstreetmap.josm.gui.help.HelpBrowser;
    3131import org.openstreetmap.josm.gui.help.HelpUtil;
    3232import org.openstreetmap.josm.tools.ImageProvider;
     
    188188
    189189        public void actionPerformed(ActionEvent arg0) {
    190             HelpBrowserProxy.getInstance().setUrlForHelpTopic("/Dialog/ConflictDialog");
     190            HelpBrowser.setUrlForHelpTopic("/Dialog/ConflictDialog");
    191191        }
    192192    }
  • trunk/src/org/openstreetmap/josm/gui/help/ContextSensitiveHelpAction.java

    r2512 r2715  
    5252    public void actionPerformed(ActionEvent e) {
    5353        if (helpTopic != null) {
    54             HelpBrowserProxy.getInstance().setUrlForHelpTopic(helpTopic);
     54            HelpBrowser.setUrlForHelpTopic(helpTopic);
    5555        }
    5656    }
  • trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

    r2626 r2715  
    77
    88import java.awt.BorderLayout;
     9import java.awt.Dimension;
     10import java.awt.Point;
    911import java.awt.Rectangle;
     12import java.awt.Toolkit;
    1013import java.awt.event.ActionEvent;
    1114import java.awt.event.KeyEvent;
     
    3235import javax.swing.JToolBar;
    3336import javax.swing.KeyStroke;
     37import javax.swing.SwingUtilities;
    3438import javax.swing.event.HyperlinkEvent;
    3539import javax.swing.event.HyperlinkListener;
     
    4852import org.openstreetmap.josm.tools.ImageProvider;
    4953import org.openstreetmap.josm.tools.OpenBrowser;
     54import org.openstreetmap.josm.tools.WindowGeometry;
    5055
    5156public class HelpBrowser extends JFrame {
     
    6671        return instance;
    6772    }
     73
     74    /**
     75     * Show the help page for help topic <code>helpTopic</code>.
     76     *
     77     * @param helpTopic the help topic
     78     */
     79    public static void setUrlForHelpTopic(final String helpTopic) {
     80        final HelpBrowser browser = getInstance();
     81        Runnable r = new Runnable() {
     82            public void run() {
     83                browser.openHelpTopic(helpTopic);
     84                browser.setVisible(true);
     85                browser.toFront();
     86            }
     87        };
     88        SwingUtilities.invokeLater(r);
     89    }
     90
    6891
    6992    /**
     
    101124        BufferedReader reader = new BufferedReader(
    102125                new InputStreamReader(
    103                         getClass().getResourceAsStream("help-browser.css")
     126                        getClass().getResourceAsStream("/data/help-browser.css")
    104127                )
    105128        );
     
    162185        });
    163186
     187        setMinimumSize(new Dimension(400, 200));
    164188        setTitle(tr("JOSM Help Browser"));
     189    }
     190
     191    @Override
     192    public void setVisible(boolean visible) {
     193        if (visible) {
     194            new WindowGeometry(
     195                    getClass().getName() + ".geometry",
     196                    WindowGeometry.centerInWindow(
     197                            getParent(),
     198                            new Dimension(600,400)
     199                    )
     200            ).apply(this);
     201        } else if (!visible && isShowing()){
     202            new WindowGeometry(this).remember(getClass().getName() + ".geometry");
     203        }
     204        super.setVisible(visible);
    165205    }
    166206
  • trunk/src/org/openstreetmap/josm/gui/help/HelpBrowserHistory.java

    r2512 r2715  
    1111    private int historyPos = 0;
    1212
    13     public HelpBrowserHistory(HelpBrowser brower) {
    14         this.browser = brower;
     13    public HelpBrowserHistory(HelpBrowser browser) {
     14        this.browser = browser;
    1515        history = new ArrayList<String>();
    1616    }
Note: See TracChangeset for help on using the changeset viewer.