Ensure GovernExclusion
and ConfigureGUI
work together#80
Merged
rocco8773 merged 23 commits intomainfrom configuregui_handle_governexclusionJan 15, 2025
+106-44
Commits
Commits on Oct 21, 2024
Commits on Jan 14, 2025
- committed
- committed
- committed
- committed
- committed
Make sure MGWidget is seeded with a mg name if none is given, and the tooltip is accurately produced
committed- committed
- committed
- committed
Commits on Jan 15, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed