fixes for mac#1929

Merged

dguittet merged 2 commits intoui-fixes-2024from ui-fixes-2024-2

Dec 9, 2024

+159-159

Commits on Nov 26, 2024

fixes for mac
dguittet
committed

Commits on Dec 6, 2024

Merge branch 'ui-fixes-2024' into ui-fixes-2024-2
cpaulgilman
committed