Skip to content

Make the window title reflect what we are doing#3883

Merged
DOsinga merged 1 commit intomainfrom
dynamic-window-titles
Aug 6, 2025
Merged

Make the window title reflect what we are doing#3883
DOsinga merged 1 commit intomainfrom
dynamic-window-titles

Commits

Commits on Aug 6, 2025