aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Tiefenbruck <mark@fluxbox.org>2008-09-02 00:53:53 (GMT)
committerMark Tiefenbruck <mark@fluxbox.org>2008-09-02 00:53:53 (GMT)
commit2151e73dacfaed865ae4a56b4a521593c0d519cf (patch)
tree2d97d79bc67fce3ff31f57587d52c1525f50b2d5
parent8fb1722389ff0338b9eb8a152a1f354163f73b17 (diff)
downloadfluxbox_paul-2151e73dacfaed865ae4a56b4a521593c0d519cf.zip
fluxbox_paul-2151e73dacfaed865ae4a56b4a521593c0d519cf.tar.bz2
update window's size hints when client updates size hints
-rw-r--r--src/Window.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Window.cc b/src/Window.cc
index 1053ee3..3b9534b 100644
--- a/src/Window.cc
+++ b/src/Window.cc
@@ -2144,6 +2144,7 @@ void FluxboxWindow::propertyNotifyEvent(WinClient &client, Atom atom) {
2144 unsigned int old_max_height = client.maxHeight(); 2144 unsigned int old_max_height = client.maxHeight();
2145 bool changed = false; 2145 bool changed = false;
2146 client.updateWMNormalHints(); 2146 client.updateWMNormalHints();
2147 updateSizeHints();
2147 2148
2148 if (client.minWidth() != old_min_width || 2149 if (client.minWidth() != old_min_width ||
2149 client.maxWidth() != old_max_width || 2150 client.maxWidth() != old_max_width ||