# HG changeset patch # User Brian Fox # Date 748721797 0 # Node ID 21ed9c9bb2102acba1e0e84a1089eb6d41a879a5 # Parent fdca0d44535717e03f06df8a0758c19fc5778680 (w_wn_set_size_hint): Make recent window gravity addition depend on "PWinGravity" begin `#defined'. diff -r fdca0d445357 -r 21ed9c9bb210 src/xterm.c --- a/src/xterm.c Wed Sep 22 18:14:10 1993 +0000 +++ b/src/xterm.c Wed Sep 22 18:16:37 1993 +0000 @@ -4736,7 +4736,7 @@ if (hints.flags & USSize) size_hints.flags |= USSize; } - +#if defined (PWinGravity) switch (((spec_x < 0) << 1) + (spec_y < 0)) { case 0: @@ -4753,6 +4753,7 @@ break; } size_hints.flags |= PWinGravity; +#endif /* PWinGravity */ #ifdef HAVE_X11R4 XSetWMNormalHints (x_current_display, window, &size_hints);