Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix: with --new-widgets advanced preferences may not shrink on deselect
Partial relayout does not make a grid yield more space to its parent grid. Thus, only firing partial relayout as a result of hiding a widget is *not* safe. Fixed by triggering full relayout instead, like the code already does without --new-widgets.
- Loading branch information