.fvwm/xdg2fvwm.py
changeset 657 e80fe57c9750
parent 641 1ef81c4fd12c
--- a/.fvwm/xdg2fvwm.py	Wed Dec 25 22:36:21 2013 +0200
+++ b/.fvwm/xdg2fvwm.py	Thu Dec 26 00:06:09 2013 +0200
@@ -39,6 +39,8 @@
             else:
                 if icon.rfind('/') == -1 and icon.rfind('.') == -1:
                     icon = icon + ".xpm"
+                if icon.endswith('.svg'):
+                    icon = icon + ":32x32"
                 print u'AddToMenu "%s" "%s%%%s%%" Exec exec %s' % (name, desktop.getName(), icon, cmd)
         else:
             pass