Ignore:
Timestamp:
2017-04-07T00:18:07+02:00 (7 years ago)
Author:
Don-vip
Message:

fix #14613 - Special HTML characters not escaped in GUI error messages

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginCheckBox.java

    r10228 r11848  
    8888                "Plugin {0} is still required by these {1} plugins:",
    8989                otherPlugins.size(),
    90                 plugin,
     90                Utils.escapeReservedCharactersHTML(plugin),
    9191                otherPlugins.size()))
    9292          .append(Utils.joinAsHtmlUnorderedList(otherPlugins))
Note: See TracChangeset for help on using the changeset viewer.