-
Kai Willadsen authored
The main benefit of this, other than looking nicer in use, is that we're doing our locking in a try/finally, so tracebacks in the scrolling code won't leave us with a permanently held scroll lock.
854e79d7
The main benefit of this, other than looking nicer in use, is that we're doing our locking in a try/finally, so tracebacks in the scrolling code won't leave us with a permanently held scroll lock.