Don't redeem scroll bars that have been turned off.
commit805318e13086c01dd65dae86145441711a434581
authorMartin Rudalics <rudalics@gmx.at>
Tue, 5 Aug 2014 08:25:28 +0000 (5 10:25 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Tue, 5 Aug 2014 08:25:28 +0000 (5 10:25 +0200)
tree63805968b0dc02c75160335612cd0d5fbb3e7eac
parent38c4a53e42506ea3e448e3d670df7e79d0a1be8e
Don't redeem scroll bars that have been turned off.

* w32term.c (w32_redeem_scroll_bar):
* xterm.c (XTredeem_scroll_bar): Revert part of last change by
not redeeming scroll bars that have been turned off.
src/ChangeLog
src/w32term.c
src/xterm.c