Ignore:
Timestamp:
2013-04-20T02:24:00+02:00 (13 years ago)
Author:
Don-vip
Message:

see #8606 - Fix user-agent used with JEditorPage.setPage() or JEditorPane(URL) + fix version number from previous commit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/widgets/PopupMenuLauncher.java

    r5886 r5887  
    3939     * @param menu The popup menu to display
    4040     * @param checkEnabled if {@code true}, the popup menu will only be displayed if the component triggering the mouse event is enabled
    41      * @since 5885
     41     * @since 5886
    4242     */
    4343    public PopupMenuLauncher(JPopupMenu menu, boolean checkEnabled) {
Note: See TracChangeset for help on using the changeset viewer.