Bug#741573: Two menu systems

[Ian Jackson <ijackson@chiark.greenend.org.uk>]

Matthias Klumpp writes ("Bug#741573: Two menu systems"):
> Also think about HIDPI-screens in particular, where these small icons
> don't make sense at all (in fact, they are so small that you often
> can't even tell what they display).

In situations like this, presumably the icons would need to be scaled.
Whether the menu consumer (window manager) supports doing this is a
quality of implementation issue for that menu consumer.

If you find that a menu consumer doesn't support that, then I'm sure
patches would be welcome.

Ian.