6WZEBCJUCUF6U2JNIU5BK5QS6Y3WVP3W2JESTFGNEF5H3XALWBYQC
UAX3KJOIN3XBSLKP4IAWAWSCI3DLDKF22A6HRMGA4FHY3AS2QRVAC
JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC
KKMFQDR43ZWVCDRHQLWWX3FCWCFA3ZSXYOBRJNPHUQZR2XPKWULAC
DYAYOMDPEQEUGTUPXWKICPBICZ67D6OW773FVIMS7XPIYPOYY2DQC
B3DXRFR34ASOJPIYXNKV27XXLRW2METE7TDN3IWLPE7AOSWVSXAAC
VPCPK52KMU4MZUXP4SUSJJDEHDR4C3KJ45HLMUQUK32FMY6OCQ4QC
--? print(('screen top changed from (%d,%d) to (%d,%d)'):format(old_top.line, old_top.pos, pane.screen_top1.line, pane.screen_top1.pos))
--? print('updating viewport based on screen top')
--? print('from', Display_settings.y, y_of_schema1(pane, pane.screen_top1))