kill the padding in the menu title

[chaz/openbox] / openbox / event.c

diff --git a/openbox/event.c b/openbox/event.c
index 22a074fd462cfe420cc6864b114a5868f3134f3b..e2851809ab7f3016fd650e560bd6eedc35044ed2 100644 (file)
--- a/openbox/event.c
+++ b/openbox/event.c
@@ -138,6 +138,10 @@ void event_shutdown(gboolean reconfig)
 {
     if (reconfig) return;
 
+#ifdef USE_SM
+    IceRemoveConnectionWatch(ice_watch, NULL);
+#endif
+
     client_remove_destructor(focus_delay_client_dest);
     XFreeModifiermap(modmap);
 }