Reopen pull request with GUI edits#204

Closed

davidpagnon wants to merge 1 commit intoGuifrom

Commits on Dec 10, 2025

Merge edits mistakenly done to Gui branch -> more in description
davidpagnon
committed