diff options
Diffstat (limited to 'community/openbox/movesize.patch')
| -rw-r--r-- | community/openbox/movesize.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/community/openbox/movesize.patch b/community/openbox/movesize.patch deleted file mode 100644 index 4f0e8595e..000000000 --- a/community/openbox/movesize.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- openbox-3.5.0/openbox/moveresize.c.orig 2011-08-01 21:14:58.000000000 +0100 -+++ openbox-3.5.0/openbox/moveresize.c 2012-03-28 20:04:36.100459920 +0100 -@@ -326,6 +326,16 @@ void moveresize_end(gboolean cancel) - #endif - } - -+ if (!moveresize_client) { -+ ob_debug("moveresize_end: moveresize_client is NULL!"); -+ return; -+ } -+ -+ if (!moveresize_in_progress) { -+ ob_debug("moveresize_end: moveresize_in_progress is FALSE!"); -+ return; -+ } -+ - /* don't use client_move() here, use the same width/height as - we've been using during the move, otherwise we get different results - when moving maximized windows between monitors of different sizes ! |