The other window manager is mentioned here https://discourse.ubuntubudgie.org/t/23-04-pixel-saver-no-longer-saves-pixels/6715/2
( why can't I edit my own comment ? )
The other window manager is mentioned here https:/ /discourse. ubuntubudgie. org/t/23- 04-pixel- saver-no- longer- saves-pixels/ 6715/2
( why can't I edit my own comment ? )