Highlight the header of the topmost `Window`#3515

Merged

emilk merged 18 commits intoemilk:masterfrom GuillaumeSchmid:gs-win-select

Jan 7, 2024

+52-11

Commits on Oct 30, 2023

Implemented window header color changed when focused (on top).
GuillaumeSchmid
committed
Changed the color of the focused header for light theme.
GuillaumeSchmid
committed

Commits on Nov 10, 2023

Commits on Nov 11, 2023

Removed unused code.
GuillaumeSchmid
committed

Commits on Nov 23, 2023