Changeset 2715 in josm


Ignore:
Timestamp:
Dec 30, 2009 10:02:32 PM (3 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.