Skip to content

[GUI] Replace profile lists with grid implementation#953

Merged
tturocy merged 3 commits into
masterfrom
gui_profile_list
Jun 19, 2026
Merged

[GUI] Replace profile lists with grid implementation#953
tturocy merged 3 commits into
masterfrom
gui_profile_list

Conversation

@tturocy

@tturocy tturocy commented Jun 18, 2026

Copy link
Copy Markdown
Member

This replaces the use of wxSheet to display lists of profiles with an implementation based on standard wxGrid.

This contributes to the resolution of #896.

@tturocy tturocy added this to the gambit-16.7.0 milestone Jun 18, 2026
@tturocy tturocy marked this pull request as ready for review June 19, 2026 13:12
@tturocy tturocy merged commit 9d6689a into master Jun 19, 2026
26 checks passed
@tturocy tturocy deleted the gui_profile_list branch June 19, 2026 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant