Changeset 16797 in josm for trunk/resources/images/preferences

Timestamp:

2020-07-19T20:55:49+02:00 (5 years ago)

Author:

Klumbumbus

Message:

see #15240 - Change some png icons to svg:

• dialogs/refresh ​https://commons.wikimedia.org/wiki/File:View-refresh.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
• preferences/advanced ​https://commons.wikimedia.org/wiki/File:Gnome-document-properties.svg, from GNOME Project, LGPL licensed
• preferences/display ​https://commons.wikimedia.org/wiki/File:Gnome-preferences-desktop-wallpaper.svg, from GNOME Project, LGPL licensed
• preferences/reset ​https://commons.wikimedia.org/wiki/File:Edit-undo.svg, from The Tango Desktop Project, PD and CC0 licensed
• preferences/shortcuts ​https://commons.wikimedia.org/wiki/File:Preferences-desktop-keyboard-shortcuts.svg, from The Tango Desktop Project, PD and CC0 licensed
• view-fullscreen ​https://commons.wikimedia.org/wiki/File:View-fullscreen.svg, resized, from The Tango Desktop Project, PD and CC0 licensed
• view-fullscreen-revert ​https://commons.wikimedia.org/wiki/File:View-fullscreen.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
• warning-small derived from internal data/warning icon, PD and CC0 licensed

Location:

trunk/resources/images/preferences

Files:

• advanced.png (deleted)
• advanced.svg (added)
• display.png (deleted)
• display.svg (added)
• reset.png (deleted)
• reset.svg (added)
• shortcuts.png (deleted)
• shortcuts.svg (added)