diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-02 00:53:53 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-02 00:53:53 (GMT) |
| commit | 2151e73dacfaed865ae4a56b4a521593c0d519cf (patch) | |
| tree | 2d97d79bc67fce3ff31f57587d52c1525f50b2d5 | |
| parent | 8fb1722389ff0338b9eb8a152a1f354163f73b17 (diff) | |
| download | fluxbox_paul-2151e73dacfaed865ae4a56b4a521593c0d519cf.zip fluxbox_paul-2151e73dacfaed865ae4a56b4a521593c0d519cf.tar.bz2 | |
update window's size hints when client updates size hints
| -rw-r--r-- | src/Window.cc | 1 |
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 || |