wf-shell 0.8.0 is out alongside #Wayfire 0.8.0, and it includes some changes by yours truly! Specifically, I made the menu height and width customizable for smaller screens and high DPI settings, down to 100 and up to 5000 (too small and it's unusable, and too high or things crash horribly). This makes it possible to use on a #PinePhone at 200% scale.
