tree 31fc022aefc2f1317378fc508937d5feb07dc363
parent 8598fd1bc5a4295abf7c720d4bbb7a6e980fbd47
author Nicholas Marriott <nicholas.marriott@gmail.com> 1536560357 +0100
committer Nicholas Marriott <nicholas.marriott@gmail.com> 1536560357 +0100

Bring back window_pane_visible to stop input going to panes which are
hidden by zoom.