Changeset 16799 in josm for trunk/src/org

Timestamp:

2020-07-20T21:37:05+02:00 (4 years ago)

Author:

Klumbumbus

Message:

see #15240 - Change some png icons to svg:

• data/relation ​https://commons.wikimedia.org/wiki/File:Emblem-system.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
• dialogs/mappaint/pencil ​https://commons.wikimedia.org/wiki/File:Text-x-generic_with_pencil.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
• dialogs/search ​https://commons.wikimedia.org/wiki/File:Gnome-zoom-fit-best.svg, modified, from GNOME Project, LGPL licensed
• dialogs/zoom-best-fit ​https://commons.wikimedia.org/wiki/File:Gnome-zoom-fit-best.svg, modified, from GNOME Project, LGPL licensed
• mapmode/zoom ​https://commons.wikimedia.org/wiki/File:Gnome-zoom-fit-best.svg, modified, from GNOME Project, LGPL licensed
• info ​https://commons.wikimedia.org/wiki/File:Emblem-notice.svg, from The Tango Desktop Project, PD and CC0 licensed
• java ​https://en.wikipedia.org/wiki/Java_(programming_language)#/media/File:Java_programming_language_logo.svg, modified, without license, fair use
• remove dialogs/settings, use preference instead

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java

@@ -474 +474 @@
             putValue(NAME, tr("Configure sites..."));
             putValue(SHORT_DESCRIPTION, tr("Configure the list of sites where plugins are downloaded from"));
-            new ImageProvider("dialogs", "settings").getResource().attachImageIcon(this);
+            new ImageProvider("preference").getResource().attachImageIcon(this);
         }