mirror of
https://github.com/gosticks/PaperWM.git
synced 2026-04-15 09:44:30 +00:00
Creates dropdown menu to let user choose between never, always, or only showing scratch windows. The state is tracked by two booleans,'disable-scratch-in-overview' and 'only-scratch-in-overview'.