Fix construction tooltips and a few other UI oversights.#1971
Merged
schombert merged 1 commit intoschombert:mainfrom Jun 4, 2025
Merged
Fix construction tooltips and a few other UI oversights.#1971schombert merged 1 commit intoschombert:mainfrom
schombert merged 1 commit intoschombert:mainfrom
