In window_resize_apply adjust margin width, if necessary (Bug#16649).
authorMartin Rudalics <rudalics@gmx.at>
Fri, 7 Feb 2014 10:55:28 +0000 (11:55 +0100)
committerMartin Rudalics <rudalics@gmx.at>
Fri, 7 Feb 2014 10:55:28 +0000 (11:55 +0100)
commit9be95071f4d78ea1f285aff884f55cf1424aaa6a
tree444cdebd8da9efedd7af501ee21428363acaddfc
parentdc0e4c48518b5154cfcec60b710da50883a671dc
In window_resize_apply adjust margin width, if necessary (Bug#16649).

* window.c (window_resize_apply): Adjust margin width, if necessary.
src/ChangeLog
src/window.c