Ticket #6894: patch.diff

File patch.diff, 811 bytes (added by Don-vip, 13 years ago)
  • src/org/openstreetmap/josm/plugins/PluginHandler.java

     
    383383                parent,
    384384                tr("<html>Plugin {0} requires JOSM version {1}. The current JOSM version is {2}.<br>"
    385385                        +"You have to update JOSM in order to use this plugin.</html>",
    386                         plugin, requiredVersion, Version.getInstance().getVersion()
     386                        plugin, Integer.toString(requiredVersion), Version.getInstance().getVersionString()
    387387                ),
    388388                tr("Warning"),
    389389                JOptionPane.WARNING_MESSAGE,