I am almost sure that the response to this question is “no”, but I will ask anyway: is there a way to use a different icon size in WindowList? As far as I know that is controlled via Style “appname” MiniIcon “iconfile”, I really never used WindowList that much, but now some people want it, and want it to be bigger, without the miniicons on the taskbar being huge.
It could be a nice thing to be able to define something like “Style app WinlistIcon iconfile.svg:size”. I might try to patch this thing to do so, but don’t expect anything soon
I will take a look on this. I did not even know about that module, so I don’t really know if it is what I am looking for.
In a quick look, I haven’t seen anything in the man page (which is not too comprehensive), but I will search around. I am sure that if you suggested this is because of a reason. I will report back here if I find something useful. And if not, I will come around anyway asking for help
