WINK3DJZLKIFD5BQXMXNNBAEK7LZCPQ6JT4IFISRRCGRUCIENYIAC
QCO3SUPGV5ZHKZEWIG5DFMJYOC5GUL4NMKYRBZ3V4UI6GXBH2PAQC
CWQIPU7USLG2K2F4B4HX42LUNZFGV7ISR6ZF7M5N4G5DVG6YHBZAC
J3I6DVMBPHKKSWYCVL6L5A42GLHINN2N62YHTCKEW76DU3C3T2XAC
KKMFQDR43ZWVCDRHQLWWX3FCWCFA3ZSXYOBRJNPHUQZR2XPKWULAC
Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right)