[Commits] [wesnoth/wesnoth] d1df34: Fix: with --new-widgets advanced preferences may n...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: d1df341371f8356586cdd3ca2696ad1d0aaf56f0
      https://github.com/wesnoth/wesnoth/commit/d1df341371f8356586cdd3ca2696ad1d0aaf56f0
  Author: Jyrki Vesterinen <sandgtx at gmail.com>
  Date:   2017-04-15 (Sat, 15 Apr 2017)

  Changed paths:
    M src/gui/widgets/widget.cpp

  Log Message:
  -----------
  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.