diff options
Diffstat (limited to 'src/Gnome.cc')
-rw-r--r-- | src/Gnome.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/Gnome.cc b/src/Gnome.cc index c401f1b..94ff9e7 100644 --- a/src/Gnome.cc +++ b/src/Gnome.cc | |||
@@ -215,6 +215,17 @@ void Gnome::updateClientList(BScreen &screen) { | |||
215 | delete[] wl; | 215 | delete[] wl; |
216 | } | 216 | } |
217 | 217 | ||
218 | void Gnome::updateClientClose(WinClient &client) { | ||
219 | if (client.screen().isShuttingdown()) { | ||
220 | XDeleteProperty(FbTk::App::instance()->display(), client.window(), | ||
221 | m_gnome_wm_win_workspace); | ||
222 | XDeleteProperty(FbTk::App::instance()->display(), client.window(), | ||
223 | m_gnome_wm_win_layer); | ||
224 | XDeleteProperty(FbTk::App::instance()->display(), client.window(), | ||
225 | m_gnome_wm_win_state); | ||
226 | } | ||
227 | } | ||
228 | |||
218 | void Gnome::updateWorkspaceNames(BScreen &screen) { | 229 | void Gnome::updateWorkspaceNames(BScreen &screen) { |
219 | 230 | ||
220 | size_t number_of_desks = screen.getWorkspaceNames().size(); | 231 | size_t number_of_desks = screen.getWorkspaceNames().size(); |