diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-08-09 07:47:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-09 07:47:49 +0200 |
| commit | d4c44485d8eee01a3a5065feb7fe4bf0fe30593e (patch) | |
| tree | 0ff1754cb8c00de932e38e91ef4ad3b326dee055 /tools/scripts | |
| parent | 37b5e99bc27a2a6a915accb814b0b618c66b0bb7 (diff) | |
| parent | 287b6d0e0484a43f9c576c0a2f8f980b4dc3d0bf (diff) | |
Merge pull request #6081 from djrm/new_icons
Some new icons for visual script and graphs
Diffstat (limited to 'tools/scripts')
| -rw-r--r-- | tools/scripts/svgs_2_pngs.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/scripts/svgs_2_pngs.py b/tools/scripts/svgs_2_pngs.py index acb50892c3..879926ab42 100644 --- a/tools/scripts/svgs_2_pngs.py +++ b/tools/scripts/svgs_2_pngs.py @@ -125,7 +125,8 @@ special_icons = { 'icon_play': dict( theme_output_names= ['icon_play'] ), 'icon_stop': dict( theme_output_names= ['icon_stop'] ), 'icon_zoom_less': dict( theme_output_names= ['icon_zoom_less'], avoid_self=True ), - 'icon_zoom_reset': dict( theme_output_names= ['icon_zoom_reset'], avoid_self=True ) + 'icon_zoom_reset': dict( theme_output_names= ['icon_zoom_reset'], avoid_self=True ), + 'icon_snap': dict(theme_output_names=['icon_snap']) } theme_icons = { |