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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
