mirror of
https://github.com/gosticks/PaperWM.git
synced 2026-07-16 13:50:04 +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'.