(WINDOW_RIGHT_MARGIN): Deduct width of vertical line
authorRichard M. Stallman <rms@gnu.org>
Wed, 21 Jan 1998 21:43:58 +0000 (21:43 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 21 Jan 1998 21:43:58 +0000 (21:43 +0000)
commit14a65ffe4289dc2a067b9635cc3a56606383e23a
tree66d2d9b62447ba44e0a98d0f70e032ee7d05a239
parent06f57aa7fd6d9c56f81c10a42d300dfff6d438bf
(WINDOW_RIGHT_MARGIN): Deduct width of vertical line
if frame has no scroll bars.
src/window.h