Skip to content

FvwmPager: Honor ewmh working area and option to ignore working area.#1070

Merged
ThomasAdam merged 1 commit intomainfrom js/pager-toggle-ewmhiwaOct 16, 2024

Commits

Commits on Oct 16, 2024