Skip to content

Deselect all on metarelation hide#414

Merged
yrammos merged 1 commit intodevelopfrom
deselect_all_on_metarelation_hide
Nov 12, 2025
Merged

Deselect all on metarelation hide#414
yrammos merged 1 commit intodevelopfrom
deselect_all_on_metarelation_hide

Conversation

@yrammos
Copy link
Member

@yrammos yrammos commented Nov 12, 2025

Addresses #412 and #413.

…nsions whenever meta-relations are hidden or revealed.
@yrammos yrammos changed the base branch from master to develop November 12, 2025 17:52
@yrammos yrammos merged commit 21dbd4c into develop Nov 12, 2025
1 check failed
@yrammos yrammos deleted the deselect_all_on_metarelation_hide branch November 12, 2025 17:53
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