blob: 4f0e8595e9126ac2d826ce9efd41da6eb433e75c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- 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 !
|
