diff options
Diffstat (limited to 'tags/m/menu-icon-not-in-xpm-format.tag')
| -rw-r--r-- | tags/m/menu-icon-not-in-xpm-format.tag | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tags/m/menu-icon-not-in-xpm-format.tag b/tags/m/menu-icon-not-in-xpm-format.tag new file mode 100644 index 0000000..9f08f29 --- /dev/null +++ b/tags/m/menu-icon-not-in-xpm-format.tag @@ -0,0 +1,14 @@ +Tag: menu-icon-not-in-xpm-format +Severity: error +Check: menu-format +Explanation: The named icon is not in XPM format. + . + Icons in the Debian menu system should be in XPM format. + . + While other image types such as PNG seem to work as well, window managers + are not required to support them. + . + Using such non-XPM icons could break interoperability. +See-Also: + menu-manual 3.7, + Bug#591812 |