Changeset 16806 in josm for trunk/nodist/images/preferences

Timestamp:

2020-07-24T14:13:42+02:00 (6 years ago)

Author:

Klumbumbus

Message:

see #15240 - Change some png icons to svg:

• cursor/modifier/zoom, self created, inspired by png icon, PD and CC0 licensed
• dialogs/conflict, self created, based on dialogs/next icon, inspired by ​https://commons.wikimedia.org/wiki/File:Merge-short_arrows_2.svg, PD and CC0 licensed
• markers/speech, self created, inspired by png icon, PD and CC0 licensed
• markers/web, ​https://commons.wikimedia.org/wiki/File:Gnome-text-html.svg, modified, from GNOME Project, LGPL licensed
• preferences/audio, ​https://commons.wikimedia.org/wiki/File:Audio-x-generic.svg, color changed, from The Tango Desktop Project, PD and CC0 licensed
• preferences/plugin, ​https://publicdomainvectors.org/en/free-clipart/Plugin-icon/59375.html, modified, PD and CC0 licensed
• preferences/remotecontrol, ​https://freesvg.org/tv-control-vector-image, modified, PD and CC0 licensed
• restart, ​https://commons.wikimedia.org/wiki/File:View-refresh-2.svg, modified, from The Tango Desktop Project, PD and CC0 licensed
• save, ​https://commons.wikimedia.org/wiki/File:Media-floppy.svg, from The Tango Desktop Project, PD and CC0 licensed
• save_as, ​https://commons.wikimedia.org/wiki/File:Media-floppy.svg, from The Tango Desktop Project, + star from new icon, PD and CC0 licensed

fix a missing file extension in nodist folder

add golf=path to ignorelist

Location:

trunk/nodist/images/preferences

Files:

• . (added)
• audio.png (moved) (moved from trunk/resources/images/preferences/audio.png )
• plugin.png (moved) (moved from trunk/resources/images/preferences/plugin.png )
• remotecontrol.png (moved) (moved from trunk/resources/images/preferences/remotecontrol.png )