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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
