You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Implements some tricks to have correct sizes for the buttons#372
Merged
lesquoyb merged 1 commit into2024-06gama-platform/gama:2024-06from Fixes_button_sizes_in_editorgama-platform/gama:Fixes_button_sizes_in_editorCopy head branch name to clipboardDec 3, 2024
