{"header":{"message":"centralize all scrolling decisions","description":"Now all panes on the surface give up control over scrolling to\nbring_cursor_of_cursor_pane_in_view.\n\nThe editor still performs upward scrolls. It's a little redundant, but\npreserves an invariant.\n\nI struggled several times over the years to get this right. This time\nI seem to have gotten further thanks to AI assistance.\n","timestamp":"2026-08-17T05:16:19.166503829Z","authors":[{}]},"hash":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC","authors":[{"login":"akkartik","key":"ENKXrH63fceoGVoHiWDvj3iee63Bj7mkbzUE6uh6YAsS"}],"deps":{"hashes":[["3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC","centralize all scrolling decisions"],["AA",null],["5AVGY5AP3AFQ7G2M7FHKRY3EWMOXA4T4CR4FBD246XLZU5WNU75AC","bugfix: refresh screen when closing first column"],["6ECYOEHY3BHYC6VYMR2AJV4H54NVKSTUKOMFBI3HRDS5V2JZ42JAC","bugfix: obsolete location for attribute"],["QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC","keep cursor from going off screen as we type (take 2)"],["XMOMZ23IPLQCWKILUMVMFP7UOO56MIIZ5LR6AR6CYGPMZYHTGDDAC","degrade gracefully when cursor goes out of viewport"],["XD43MI5HTDBO7HD4D2KD4U3UUAOJEMDVSJXJR54ZPW2FHCFB7X5AC","command to move column"],["GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC","can we just use the other approach everywhere?"],["IB4DIQWHFYDMHWXWIPN6RBP6TR65XSV7XHTJKVKD42GJ67D2G5SAC","bugfix: S-pagedown wasn't scrolling"],["CGIILAMTF6MFD4DBCY6CJ5DNSIZQTNWN734GNXTHIZCUTKSXLJGAC","merge bugfix"],["VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC","resolve conflicts"],["EB6LHFJRSQIQWC3M5CZWOLG7PX3HHO2ZQ2TGMBCOLUBDZSP7CJZAC","use deepcopy where possible"],["7ZXZGVHM2THAGJABJZLKW56VG72AD3Z6DINZ7XBWOYDJX4J77PMQC","purge obsolete term 'fragment'"],["I2MXOJ3KK4F6NJ5RDDTBPT3CVRLY562O3REAOWMTIDSJXUDS3JLQC","bugfix in undo/redo"],["GXUJ3L2JCYUSW2WFVM4LR7XAJ2MA6CEXURJLFXVGN6YVBSHNGATQC","bugfix in maximize mode"],["KGXJXF63SRWFAYVOE2PFVAFO3WY2LI7UACDFBTPRLPMRZK25LMQAC","resolve conflicts"],["RLCO2SNKO5OJBEQFRXTB7TCAES6KML4IBOCW5SA7Q24RALW6JCWQC","wrap lines like lines2 forks"],["BKX2TYUGRVEKPGG7B5PK5LUEPMAQLB7J6PFVJBVMSVVJFUMIPYPQC","use cmd key on Mac OS for some idiomatic shortcuts"],["2ZYV7D3W2HPQW2HYB7XDPM4T7KEWPUFPZ77BDLCCDSCLRPJFK6PQC","handle tab characters"],["WLWNS6FBT6D3HKOFWDPBKLK7KS73LJJLWLHNWX3YJ723OHJBZGDQC","a bug I've never run into"],["NHNP76LGNIVNIDMSDILAKEVSWFQ4LKNCYXVQEGKKJ75TSRPEBVEQC","swap return values"],["LNUHQOGHIOFGJXNGA3DZLYEASLYYDGLN2I3EDZY5ANASQAHCG3YQC","start passing in Editor_state explicitly"],["3TDOZESEOYHGF6LYKR6PYSPNFI3QUGED2BKM5LUDEKJKRIX3ACEAC","extract scrolling logic out of insert_return"],["F65ADDGLR2PNXVSM2XBHM3OSLQC2OTRR3GQBI7DJWIKPJCJ5CSOAC","add state arg to a few functions"],["GR4RROJFJOGM2WLQSVK5R5UYD7IK6ITF6UP5RVHAHD3J4OFJWGCAC","debug this from scratch, undoing all the hacks"],["HWBW2BOTZGNOVES47NBIQ2ZXES5KKBBBM3YHSX4STZC37BI2OJTAC","revert commit 6fbcae9a6581"],["S63M6DMQST2WMLTPZUKUHKSRFMP3CBQVYGNZB6N57Z6FBLZLQB7QC","dead code"],["VPCPK52KMU4MZUXP4SUSJJDEHDR4C3KJ45HLMUQUK32FMY6OCQ4QC","no, the second experiment makes no sense"],["LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC","bugfix"],["YJJ4X4JGABMVA5JBQW5UAWI543P3Y7NDVFTOHA6LIDA5KSFGUFNQC","bugfix: avoid scrolling on 'end'"],["IFGHOCUOIAKC722BNCIRNE2EDMGF77FBTYS57H5UWN6YXOLSZHQQC","holy fuck"],["JJDT2X4FKYC5I3CPTV4PNOALPFXQNG2SSLZJ36QFZIBUXY2ZAXXAC","unnecessary args"],["TBAWBZFDT7R4A275URGY7DZG2E6E5U73HJBOU3RF4QBMCV5KDE3AC","bugfix: restore viewport when cancelling a find op"],["2POFQQLW42ZQCF7NBTIFLYKXBYT5PVSC3T5UOURIEPYNFVBN2MKAC","keep cursor on screen when pressing 'down'"],["VJ77YABHVJZWJKLHAGIPC562GYM73AUGRLCP4JLKP5JPWPT2RIHAC","more efficient undo/redo"],["3MAZEQK5AR3IJJ2ENHHYDPDICIK645NE5QWR54Z52BHGHE6VR5XQC","add state arg to Text.textinput"],["62JEPVQ34SOTQI6VQNLGLKS5O4KFU52UKAVDHN6N7G5T6Z5EZO5QC","bugfix: backspace from start of final line"],["PR4KIAZDOBQMEUOV2G7ZEZUW3E4L5ZCHYSS7PTYWGXPSNVRAGHCAC","first stab at equally hacky cursor down support"],["S2MISTTMPEULTO6WRO4Q4NRUO7XC2PTZW3UBR7K7SO6JPZO6HBHAC","add state arg to a few functions"],["4WAZ3E5BASY4GJDS5XNDRPHD4S4NVKRWHYOSFT6EXRTMM7Y5EKPAC","fix a regression (attempt #2)"],["IRCKL6VNSFB7TQEKPQUPJCN37N5QW7D54DSZMESVXGK7NEHGSIPAC","extract scrolling logic out of insert_at_cursor"],["LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC","group all editor globals"],["ONVQPNBJRWL3VLMV3UJGQOKR26GELHHOUZ7F3ISVVY6ET6OVITOQC","bugfix"],["2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC","experiment: new edit namespace"],["3OKKTUT4Q7W44JHILOFV5BVUA7ZOBIHBCEXGZ65CPXV4PRLI2W4QC","up and down arrow now moving by screen line where possible"],["ESETRNLB3MIJ2SID6HJMMP52FEVUBLGK2HLWD75KDQZAKQMKSF2QC","bugfix: printing the first part of a line at the bottom made it seem non-wrapping"],["KECEMMMRW2VVBZ567HJQPGLC57LTSBKWH7UFP32IW43D23X6WTEQC","extract couple of functions"],["AXDEFUKT3MCCN4JIWR7MKDE272YVJUFYUNSAHEY2WBI3D4BIA5RAC","stop clamping cursor_y"],["DLQMM2656JHXX3ONOEM6UIOXKFJFT5QT7RHWK7YS2W77PVZWHRSAC","scroll past first page"],["LXTTOB33N2HCUZFIUDRQGGBVHK2HODRG4NBLH6RXRQZDCHF27BSAC","extract a couple of files"],["HTWAM4NZFOY463TNSKYIM2EWB7QNBGDRRTTGHF5N3Z4TGC7Q3SFAC","bugfix: scrolling in left/right movements"],["QBL4YDQ5QC4MZ7RFS4ZSEBPN5WATAJ7UQLUPTXDUMXAMGBGQDOOQC","snapshot"],["NP7J5YWCLHXKN7MZDXU4EOBHAUSWLQ4NE5SRCPR2HTRFE6WOJCIAC","clean up debug prints"],["AQMZJXUR5NFNATJ4LPTVGVLQFIKRKRSPYAICXWHGQCQ4WLMQ2JTQC","use editor state font for width calculations"],["AFTQVKJAKZLGSUBOZOMBLXOEGSFZDBT4WOAZGGSA6ETRJCFZNFKQC","resolve conflicts"],["ZS5IYZH5EXXPSVIFWS7XW5POEVRRCK6XV6PB36D3EJXJRT22LKOQC","stop caching screen_bottom1"],["IFTYOERMW7P3I24WISZN35X3GWJ5MSMRYDRBK3L52GCZTPP3CWZQC","line.y -> line_cache.starty in a few more places"],["GX5PD3CLX63YPRCVKQTLSPDZTBWLZFJ4G6LJTPSMR6UGXFBM4AYAC","consistently schedule_save after all mutations"],["QDUCYGB6LZA3AXLPJN2AVEOPDPSQBNLM53WNOALPYRWKVXMSRBBAC","resolve conflicts"],["GNQC72UXBU6KYXW6MXLNRGTLXV2VPQXMVCLYMJT6POTFXSF5ASJAC","generalize a function"],["5QRDGBOR4NKX34CC3I7VFUNZPXTUZO3UCMPGU6KRJEFAFVMTLGIAC","simplify remembering the old cursor"],["GN3IF4WF352YK5K4YHVMAIMPL7PNTCEMDWW22PTKDOXKV2FZJ7NQC","bugfix: pasting newlines"],["CUIV2LE5D6GUQ4NU7K2TGUVO5CTUXVJDRCZUIV47LXTOUSEPEJHQC","some typos"],["MTJEVRJR5GLWUSK7HMIM4UXM6GS6O6YCRWJT3DUSU2RYMHCQNOEQC","add state arg to a few functions"],["3U6YMMN2GMRL27TLPE7V3KUGM6MI2L3SAQSNU6HMNRINVXVRL3QAC","back to a clean baseline"],["CSV2GBWMGLN6CR3FIUUQ3FTZAFJJFO7DTPNOKOY5IOXNFI4O67IAC","experiment: dramatically simplify the panning check"],["GO4OXDP4USUBN2UGNY2ZZEUZE3NG52F3T5CZ76H7VQ23Q4CQOSJAC","Merge lines.love"],["6GP2UPJYSIBGAUEPRIS5ZOAM2XNQ3YQMX3TM5ARXWAJ2DTQ4RYLAC","reorg: move search-specific state into mode table"],["ELJNEPW26FUIIFY6D24274J7KZICRLE3TJHCFNRVLR5NZBNNV37AC","simplify cursor-on-screen check"],["AYS3Z3TXOXF5ZJDLSBWEUIOWXJEZXLXEBZS5ZRJC2IRDVM7KTSTAC","standardize scroll check in a few places"],["NP5DODWMHP22MO6Z3B6NYDR7C3DLV2BD4NKT2RFFFOSIDPC3ZPWQC","experiment: never compute viewport from screen_top"],["WLJCIXYMSTCNSYCFOEBQNDLBZ5D2Z3WTF4E4WYL5CFGIJ434FKNQC","add state arg to a few functions"],["2LEXWUW3EQUVE6IZTQROWRU6GDKZER35TGVDL3HFYYSEMA2RZEHAC","get rid of some ridiculous code"],["GAG2O6Y4P5XQXSRB3HLIUGQ7FK5T2J7P4BH524XYANZY2TECYAKQC","redundant call; already in add_column_to_right_of_cursor"],["23AHVLSARPD5HJ3ULFYTYW3FKKC2UV3FTGLLCZEA5TXPVJL7EXSQC","remove temporary logging"],["LEP7X3CT5H7NRQOBIAKQU32QLQQWLBURBNTR2YZUYL53C5BRAM6QC","Merge lines.love"],["MUDXM3JIDUTC7EWJPFBP5EV67FFZUU2YS6FJI43ERZJT5WDPHH5AC","clearing starty is redundant in mutations"],["2CH77LZCSHAKRKLCCJGDGECVYFNCEV23NF3PFXHAQ2E33AJGSNVAC","add args to some functions"],["T57DTBX6J7E7FVEX4LQWXNKR7YXIHJW4HBCHUOYA5PTJUOEYHTEAC","add args to some functions"],["N74KDDESEQSYYSGERIHOON3NI5OWXCK4XOY54CPSLRVJ23ERQAIQC","bugfix"],["SPSW74Y5OJ54Y7VQ3SJFCJR5CYDKTR4A3TOEVZODDZLUSDDU2GZAC","add state arg to Text.keychord_pressed"],["AHOO2ILEJWTPCYHJH26WAF7A4YYVMHFX4UWHSAAAMHI73TSQZ6CAC","Merge lines.love"],["G54H3YG2NEZPW2F6OYT5JPV7KSKVMNW5D3QT3FBCXTJHAQYTV5UAC","get rid of all bifold text"],["OLCW3NQHQ3MDEVG6NQVWHQ4WDRBYVHI3E56W346OCTRRCIYMC2ZAC","standardize a few checks"],["ODLKHO7BO2AODYO2OEQ6D4NSNBT5GR3CKLUXWMDLRYXL7DJOI7BAC","switch to line index in a function"],["JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC","Merge lines.love"],["BTKAW76LJFOXLINKJKOIK47MUDFHZKDMWX3NQODS2XUQLYGOZXUQC","rename"],["DHI6IJCNSTHGED67T6H5X6Y636C7PIDGIJD32HBEKLT5WIMRS5MAC","selecting text and deleting selections"],["NQBUJ4VZQJZP2X2J2UG27XVY5LCGNVAOE5RFZJA5BASITUQSVIUQC","maybe this fixes the regression?"],["PX7DDEMOBGPVK3FXKK5XEPG24CJXZSVW67DLG2JZZ5E77NVEAA3AC","autosave slightly less aggressively"],["MDXGMZU2MBEDMTB755D3RRYEFKF54GTTYTI5XJYKKKN5ZFQWZXTAC","disable all debug prints"],["SEBFLWZVK6Y7GX62DXQFWJG4IFV2VTXHGEWS25ZIQYKC3AQW5TFQC","bugfix: crash when naming points in a drawing"],["6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC","back to the problem of cursor going off screen"],["2LC3BM2NCIR76UILI5D4DVC5KYJSBVHDNMOC5G3TOJNCRLX6PZEQC","support other whitespace chars in word movements"],["UKZIR47FDIFP7TJYR3AKQSL4UAJD47W3MMXDQTMZQDLICXTZ4BVAC","append: put new pane in current column if possible"],["MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC","deduce left/right from state where possible"],["Z5HLXU4PJWWJJDBCK52NBD6PIRIA3TAN2BKZB5HBYFGIDBX4F5HAC","add state arg to a few functions"],["2EKE4XLLUF44XPHJOJ53SAUP3TUDM572HWXMHJ5UVIYIQICRNEVAC","simplify"],["V5MJRFOZRVVDCPOWTLXPHS2HZBZKOOCPPKFMRP6MWZN6N62QLFAAC","bugfix: down arrow doesn't scroll up unnecessarily"],["UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC","undo/redo: keep cursor in viewport"],["WO73G45YHL27GXZIQRLFPMIZSOTO7UOUXPOFKBP7APKYLEGYHL7AC","add: put new pane in current column if possible"],["ZPUQSPQPQFVRUIHGLAWW3IDBYODIWDHO62HAC3WWF5TM3CIJGHNQC","extract a few methods"],["37AATGG5QIXOBXWA3DMSVMIIDSULA36NPETHOYZIOZ4G4RZLMHCAC","roll back experiment of commit 926c66a908 as well"],["XNFTJHC4QSHNSIWNN7K6QZEZ37GTQYKHS4EPNSVPQCUSWREROGIQC","split keyboard handling between Text and Drawing"],["KK3POZUTSBQYMPMCR742AD6H2LYVFKEFWS6A2WARA62LMRICGYCAC","put the global mode into a table"],["B3DXRFR34ASOJPIYXNKV27XXLRW2METE7TDN3IWLPE7AOSWVSXAAC","a second experiment: avoid planning twice"],["CFJ4FLCQO4NHLTEWFRFAGLC5NKMCEQO2NZ33QIF6IT2TXYCAGEVQC","clean up an unnecessary mutation"],["CRTRY4AD5V6XVA2GWPQNNBJSWHPZT3HRMYYRWH2AZKOFIRAIMXZQC","enabling a profiler makes the problem go away"],["2RXZ3PGOTTZ6M4R372JXIKPLBQKPVBMAXNPIEO2HZDN4EMYW4GNAC","beginning of a new approach to scroll+wrap"],["PTDO2SOTXEI6FROZ2AVRFXSKKNKCRMPPTQSI5LWD45UVGDJPMSGQC","add state arg to schedule_save"],["ZOEN6BOH444OEFJLT4FBRCVPMF7JTOXLLJ2TEQCQBVSGVTDIIYWQC","bugfix: page-up"],["HMODUNJEQLZ3W46GKYIDL55F6COVXHTIC6UW4AK3SXOOKOPE6NNAC","scroll on backspace"],["JKAMPNVJHLSYZT5M7GKWGIHTJFIJU3VUJ2AWHLH3ORDUX3UTCF5QC","keep cursor from going off screen as we type"],["PYGMASTVHDTGX3LDTL364UWXEHVSWQ7STAJLZZI5YY6EA6EEICOAC","disable some debug prints"],["QCQTMUZ7M3BKJFTKXTTXL4TS4CAQNIUNK3LR3WQIJDU3VVTOPS6AC","add args to some functions"],["SVJZZDC3K6AKAXHGRNAZKRE2ZXEKJANNLG7LSSUZJARFBL5F7C4AC","snapshot - no, that's all wrong"],["QCPXQ2E3USF3Z6R6WJ2JKHTRMPKA6QWXFKKRMLXA3MXABJEL543AC","add state arg to a few functions"],["JJ7J4PUBB2XYXI26GDQYJMBXFRKTXQJWHJRGI6PA3X37YZ3JTSGAC","some unnecessary mutations"],["TRNWIQN6RPLDLYWULLKG5L255E7E3DPNGLCSLAF6IJWYQRCCLARQC","more precise height calculation when scrolling up as much as possible while keeping cursor on screen"],["4J2L6JMR7NZBGCNX63CL2E3AIB7P7QTCC7QQBPNAEPQ7ISQXL7EQC","bugfix: deleting a selection spanning pages"],["AAYK7CECIP4352RGBPFBV52XUKI6YECVJN24PVCN4FG4NW7NQLKAC","rename"],["OKBAAAUJRSAG7VYNKTBHEOOAMNFKREFMW2PHGNEAA2ZKSFONRR4AC","regression caused by the experiment of dabb7a6c4"],["QLG4WQX6Q3G4VHT2S5CGBSIQCMYIVLCVPMETRCS4A7UEV6V5PXFAC","resolve conflicts"],["UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC","left/right margin -> left/right coordinates"],["T2GN62QE2TB76IJYJ4HNR2Z4CP7KB7GOZ5THDZ5RGMJBSAD72MCQC","get rid of bring_cursor_column_on_screen entirely"],["GC2EXJUFGAKWF2KWW6LF7OB2FAFGTBJPHFH667AAR35MP2GFQA2AC","resolve conflicts"],["62PZGSUCEXJOCVWEOOENSDJITJFR27BGW7BPGFYVD3E5M6446RQQC","optimization: moving cursor to next word"],["6OZ32QPUY3AQABJED2YWD3PQVEBZJU2TLV63SLWPXIEFQVQV4QPAC","resolve conflicts"],["5C5YG7ERUYCCQ7H66Z3SBRSHBVWGNN3USK5A37IKAJFYM2VRV4HQC","some temporary logging to track down a bug"],["UAX3KJOIN3XBSLKP4IAWAWSCI3DLDKF22A6HRMGA4FHY3AS2QRVAC","undo all optimizations back to commit c6b68678a"],["2TQR4PSY2FBIKEEKC2Y5ZPVPOD2QJ3EATII47PPWNMTAQA7EQ6GAC","add args to some functions"],["BULPIBEGL7TMK6CVIE7IS7WGAHGOSUJBGJSFQK542MOWGHP2ADQQC","beginnings of a module for the text editor"],["242L3OQXTU2TCAINRJXQEEDSXQXM7Y7USUPBK37ZNM3A7V5TUDSAC","bugfix: ensure Cursor_line is always on a text line"],["R5QXEHUIZLELJGGCZAE7ATNS3CLRJ7JFRENMGH4XXH24C5WABZDQC","somebody stop me"],["CE4LZV4TNXJT54CVGM3QANCBP42TMLMZWF2DBSMUYKAHILXIZEMQC","drop last couple of manual tests"],["J3ER7DFO2TXYUMJAXZUFEHQNLFDNIXSYDTE7HEFGQ2RYB3A6RFPAC","show top screen of multiple read-only panes"],["KKMFQDR43ZWVCDRHQLWWX3FCWCFA3ZSXYOBRJNPHUQZR2XPKWULAC","editing source code from within the app"],["E3KYU52CQQP267SHPO6Q2WZ5IK2JNYTDOZ4WWIW2A5VOHAPFEWBQC","Merge lines.love"],["GLYCXWBJBU7DOX5IYFZHT3ITXLLVKN5QK7W3QNHKW2EKRMFIUYLAC","never mind, just fix the one failing test"],["2CK5QI7WA7M4IVSACFGOJYAIDKRUTZVMMPSFWEJTUNMWTN7AX4NAC","make love event names consistent"],["4EGQRXDANFLUYXADP3MNHZWP2LBH2P5VBVKNN5RT6ERGMBVSRI2AC","bugfix: naming points"],["A42EMHOQV2GBLLYYVASKUJY6JF5CGBWXYUD2PW5OZPX365QUZ2MQC","plumb through all supported args in LÖVE handlers"],["GQBUV2XOMEPMTXMPCBQWGGIUXGQDX77VTGPFIG6YT7G64ASOYHXQC","extract file"],["4P4AGIIG55VT6Y3JZVZPB756H4N2C6NTVMWCOOGCOSY63K4ILBFAC","first working command: create new note"],["F7JBFZFRALHRUTYYHJ2J7OBBB5WYPJBDTLDLZAMTVC3FUVJ7MAIAC","fix lots of crashes when starting without a data/ dir"],["IUBUKOBFGTLXNHRNYGVN35F5OQISTGQDB27WMS2LXBVVBXCXGUDQC","command: edit existing note"],["CJ4VCNOZPQSBURPNWCOGJCWPEUI43WTKGJHUJZOYMNGRUPFGVM3QC","ergonomics for unroll: if the current column has nothing else, just replace it with its unrolling"],["B22JHH4W75CLJTHZWAHJZWYL3L7IN4MSIJSR5CCCCXYWYA27TRNQC","rip off the band-aid and get rid of the duplication in draw_normal_mode"],["ZU3HJ6NH26LFY2NWRCCRMXECNEPVR25OJNOFEK5XJ3KYFJUCKQXAC","new command: all neighbors of a node, along any link label"],["IHVD5VZIQU72CGEGWTFVTI6K2VVZYJHUIBW3GLSCDOFFQGZVLV5QC","extract a couple of functions"],["5HOB5Y6ZDNJ42XMHQ7YWZTUCK4DAJRPYRECDWTKFSXZWQ4ZMMSNAC","recreate unrolled column after restart"]],"deps":["5AVGY5AP3AFQ7G2M7FHKRY3EWMOXA4T4CR4FBD246XLZU5WNU75AC","6ECYOEHY3BHYC6VYMR2AJV4H54NVKSTUKOMFBI3HRDS5V2JZ42JAC","QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC","XMOMZ23IPLQCWKILUMVMFP7UOO56MIIZ5LR6AR6CYGPMZYHTGDDAC","XD43MI5HTDBO7HD4D2KD4U3UUAOJEMDVSJXJR54ZPW2FHCFB7X5AC","GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC","IB4DIQWHFYDMHWXWIPN6RBP6TR65XSV7XHTJKVKD42GJ67D2G5SAC","CGIILAMTF6MFD4DBCY6CJ5DNSIZQTNWN734GNXTHIZCUTKSXLJGAC","VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC","EB6LHFJRSQIQWC3M5CZWOLG7PX3HHO2ZQ2TGMBCOLUBDZSP7CJZAC","7ZXZGVHM2THAGJABJZLKW56VG72AD3Z6DINZ7XBWOYDJX4J77PMQC","I2MXOJ3KK4F6NJ5RDDTBPT3CVRLY562O3REAOWMTIDSJXUDS3JLQC","GXUJ3L2JCYUSW2WFVM4LR7XAJ2MA6CEXURJLFXVGN6YVBSHNGATQC","KGXJXF63SRWFAYVOE2PFVAFO3WY2LI7UACDFBTPRLPMRZK25LMQAC","RLCO2SNKO5OJBEQFRXTB7TCAES6KML4IBOCW5SA7Q24RALW6JCWQC","BKX2TYUGRVEKPGG7B5PK5LUEPMAQLB7J6PFVJBVMSVVJFUMIPYPQC"],"known":["XNFTJHC4QSHNSIWNN7K6QZEZ37GTQYKHS4EPNSVPQCUSWREROGIQC","DLQMM2656JHXX3ONOEM6UIOXKFJFT5QT7RHWK7YS2W77PVZWHRSAC","2ZYV7D3W2HPQW2HYB7XDPM4T7KEWPUFPZ77BDLCCDSCLRPJFK6PQC","SVJZZDC3K6AKAXHGRNAZKRE2ZXEKJANNLG7LSSUZJARFBL5F7C4AC","PR4KIAZDOBQMEUOV2G7ZEZUW3E4L5ZCHYSS7PTYWGXPSNVRAGHCAC","2POFQQLW42ZQCF7NBTIFLYKXBYT5PVSC3T5UOURIEPYNFVBN2MKAC","TRNWIQN6RPLDLYWULLKG5L255E7E3DPNGLCSLAF6IJWYQRCCLARQC","PYGMASTVHDTGX3LDTL364UWXEHVSWQ7STAJLZZI5YY6EA6EEICOAC","2RXZ3PGOTTZ6M4R372JXIKPLBQKPVBMAXNPIEO2HZDN4EMYW4GNAC","ESETRNLB3MIJ2SID6HJMMP52FEVUBLGK2HLWD75KDQZAKQMKSF2QC","3OKKTUT4Q7W44JHILOFV5BVUA7ZOBIHBCEXGZ65CPXV4PRLI2W4QC","MDXGMZU2MBEDMTB755D3RRYEFKF54GTTYTI5XJYKKKN5ZFQWZXTAC","V5MJRFOZRVVDCPOWTLXPHS2HZBZKOOCPPKFMRP6MWZN6N62QLFAAC","KECEMMMRW2VVBZ567HJQPGLC57LTSBKWH7UFP32IW43D23X6WTEQC","HMODUNJEQLZ3W46GKYIDL55F6COVXHTIC6UW4AK3SXOOKOPE6NNAC","ZPUQSPQPQFVRUIHGLAWW3IDBYODIWDHO62HAC3WWF5TM3CIJGHNQC","DHI6IJCNSTHGED67T6H5X6Y636C7PIDGIJD32HBEKLT5WIMRS5MAC","VJ77YABHVJZWJKLHAGIPC562GYM73AUGRLCP4JLKP5JPWPT2RIHAC","GN3IF4WF352YK5K4YHVMAIMPL7PNTCEMDWW22PTKDOXKV2FZJ7NQC","LXTTOB33N2HCUZFIUDRQGGBVHK2HODRG4NBLH6RXRQZDCHF27BSAC","CUIV2LE5D6GUQ4NU7K2TGUVO5CTUXVJDRCZUIV47LXTOUSEPEJHQC","JJ7J4PUBB2XYXI26GDQYJMBXFRKTXQJWHJRGI6PA3X37YZ3JTSGAC","BTKAW76LJFOXLINKJKOIK47MUDFHZKDMWX3NQODS2XUQLYGOZXUQC","3TDOZESEOYHGF6LYKR6PYSPNFI3QUGED2BKM5LUDEKJKRIX3ACEAC","IRCKL6VNSFB7TQEKPQUPJCN37N5QW7D54DSZMESVXGK7NEHGSIPAC","PX7DDEMOBGPVK3FXKK5XEPG24CJXZSVW67DLG2JZZ5E77NVEAA3AC","4J2L6JMR7NZBGCNX63CL2E3AIB7P7QTCC7QQBPNAEPQ7ISQXL7EQC","HTWAM4NZFOY463TNSKYIM2EWB7QNBGDRRTTGHF5N3Z4TGC7Q3SFAC","YJJ4X4JGABMVA5JBQW5UAWI543P3Y7NDVFTOHA6LIDA5KSFGUFNQC","62PZGSUCEXJOCVWEOOENSDJITJFR27BGW7BPGFYVD3E5M6446RQQC","2TQR4PSY2FBIKEEKC2Y5ZPVPOD2QJ3EATII47PPWNMTAQA7EQ6GAC","T57DTBX6J7E7FVEX4LQWXNKR7YXIHJW4HBCHUOYA5PTJUOEYHTEAC","QCQTMUZ7M3BKJFTKXTTXL4TS4CAQNIUNK3LR3WQIJDU3VVTOPS6AC","2CH77LZCSHAKRKLCCJGDGECVYFNCEV23NF3PFXHAQ2E33AJGSNVAC","2LC3BM2NCIR76UILI5D4DVC5KYJSBVHDNMOC5G3TOJNCRLX6PZEQC","2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC","LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC","LNUHQOGHIOFGJXNGA3DZLYEASLYYDGLN2I3EDZY5ANASQAHCG3YQC","SPSW74Y5OJ54Y7VQ3SJFCJR5CYDKTR4A3TOEVZODDZLUSDDU2GZAC","PTDO2SOTXEI6FROZ2AVRFXSKKNKCRMPPTQSI5LWD45UVGDJPMSGQC","3MAZEQK5AR3IJJ2ENHHYDPDICIK645NE5QWR54Z52BHGHE6VR5XQC","Z5HLXU4PJWWJJDBCK52NBD6PIRIA3TAN2BKZB5HBYFGIDBX4F5HAC","S2MISTTMPEULTO6WRO4Q4NRUO7XC2PTZW3UBR7K7SO6JPZO6HBHAC","MTJEVRJR5GLWUSK7HMIM4UXM6GS6O6YCRWJT3DUSU2RYMHCQNOEQC","F65ADDGLR2PNXVSM2XBHM3OSLQC2OTRR3GQBI7DJWIKPJCJ5CSOAC","WLJCIXYMSTCNSYCFOEBQNDLBZ5D2Z3WTF4E4WYL5CFGIJ434FKNQC","QCPXQ2E3USF3Z6R6WJ2JKHTRMPKA6QWXFKKRMLXA3MXABJEL543AC","UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC","MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC","WLWNS6FBT6D3HKOFWDPBKLK7KS73LJJLWLHNWX3YJ723OHJBZGDQC","ODLKHO7BO2AODYO2OEQ6D4NSNBT5GR3CKLUXWMDLRYXL7DJOI7BAC","IFTYOERMW7P3I24WISZN35X3GWJ5MSMRYDRBK3L52GCZTPP3CWZQC","JJDT2X4FKYC5I3CPTV4PNOALPFXQNG2SSLZJ36QFZIBUXY2ZAXXAC","62JEPVQ34SOTQI6VQNLGLKS5O4KFU52UKAVDHN6N7G5T6Z5EZO5QC","JKAMPNVJHLSYZT5M7GKWGIHTJFIJU3VUJ2AWHLH3ORDUX3UTCF5QC","QBL4YDQ5QC4MZ7RFS4ZSEBPN5WATAJ7UQLUPTXDUMXAMGBGQDOOQC","AXDEFUKT3MCCN4JIWR7MKDE272YVJUFYUNSAHEY2WBI3D4BIA5RAC","OLCW3NQHQ3MDEVG6NQVWHQ4WDRBYVHI3E56W346OCTRRCIYMC2ZAC","IFGHOCUOIAKC722BNCIRNE2EDMGF77FBTYS57H5UWN6YXOLSZHQQC","NHNP76LGNIVNIDMSDILAKEVSWFQ4LKNCYXVQEGKKJ75TSRPEBVEQC","ELJNEPW26FUIIFY6D24274J7KZICRLE3TJHCFNRVLR5NZBNNV37AC","AYS3Z3TXOXF5ZJDLSBWEUIOWXJEZXLXEBZS5ZRJC2IRDVM7KTSTAC","2EKE4XLLUF44XPHJOJ53SAUP3TUDM572HWXMHJ5UVIYIQICRNEVAC","GNQC72UXBU6KYXW6MXLNRGTLXV2VPQXMVCLYMJT6POTFXSF5ASJAC","S63M6DMQST2WMLTPZUKUHKSRFMP3CBQVYGNZB6N57Z6FBLZLQB7QC","2LEXWUW3EQUVE6IZTQROWRU6GDKZER35TGVDL3HFYYSEMA2RZEHAC","GO4OXDP4USUBN2UGNY2ZZEUZE3NG52F3T5CZ76H7VQ23Q4CQOSJAC","6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC","UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC","WO73G45YHL27GXZIQRLFPMIZSOTO7UOUXPOFKBP7APKYLEGYHL7AC","GAG2O6Y4P5XQXSRB3HLIUGQ7FK5T2J7P4BH524XYANZY2TECYAKQC","UKZIR47FDIFP7TJYR3AKQSL4UAJD47W3MMXDQTMZQDLICXTZ4BVAC","JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC","5QRDGBOR4NKX34CC3I7VFUNZPXTUZO3UCMPGU6KRJEFAFVMTLGIAC","HWBW2BOTZGNOVES47NBIQ2ZXES5KKBBBM3YHSX4STZC37BI2OJTAC","B3DXRFR34ASOJPIYXNKV27XXLRW2METE7TDN3IWLPE7AOSWVSXAAC","VPCPK52KMU4MZUXP4SUSJJDEHDR4C3KJ45HLMUQUK32FMY6OCQ4QC","UAX3KJOIN3XBSLKP4IAWAWSCI3DLDKF22A6HRMGA4FHY3AS2QRVAC","CRTRY4AD5V6XVA2GWPQNNBJSWHPZT3HRMYYRWH2AZKOFIRAIMXZQC","CSV2GBWMGLN6CR3FIUUQ3FTZAFJJFO7DTPNOKOY5IOXNFI4O67IAC","AHOO2ILEJWTPCYHJH26WAF7A4YYVMHFX4UWHSAAAMHI73TSQZ6CAC","AAYK7CECIP4352RGBPFBV52XUKI6YECVJN24PVCN4FG4NW7NQLKAC","37AATGG5QIXOBXWA3DMSVMIIDSULA36NPETHOYZIOZ4G4RZLMHCAC","GR4RROJFJOGM2WLQSVK5R5UYD7IK6ITF6UP5RVHAHD3J4OFJWGCAC","3U6YMMN2GMRL27TLPE7V3KUGM6MI2L3SAQSNU6HMNRINVXVRL3QAC","4WAZ3E5BASY4GJDS5XNDRPHD4S4NVKRWHYOSFT6EXRTMM7Y5EKPAC","NP5DODWMHP22MO6Z3B6NYDR7C3DLV2BD4NKT2RFFFOSIDPC3ZPWQC","OKBAAAUJRSAG7VYNKTBHEOOAMNFKREFMW2PHGNEAA2ZKSFONRR4AC","NQBUJ4VZQJZP2X2J2UG27XVY5LCGNVAOE5RFZJA5BASITUQSVIUQC","G54H3YG2NEZPW2F6OYT5JPV7KSKVMNW5D3QT3FBCXTJHAQYTV5UAC","LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC","ONVQPNBJRWL3VLMV3UJGQOKR26GELHHOUZ7F3ISVVY6ET6OVITOQC","NP7J5YWCLHXKN7MZDXU4EOBHAUSWLQ4NE5SRCPR2HTRFE6WOJCIAC","LEP7X3CT5H7NRQOBIAKQU32QLQQWLBURBNTR2YZUYL53C5BRAM6QC","ZOEN6BOH444OEFJLT4FBRCVPMF7JTOXLLJ2TEQCQBVSGVTDIIYWQC","SEBFLWZVK6Y7GX62DXQFWJG4IFV2VTXHGEWS25ZIQYKC3AQW5TFQC","N74KDDESEQSYYSGERIHOON3NI5OWXCK4XOY54CPSLRVJ23ERQAIQC","6OZ32QPUY3AQABJED2YWD3PQVEBZJU2TLV63SLWPXIEFQVQV4QPAC","MUDXM3JIDUTC7EWJPFBP5EV67FFZUU2YS6FJI43ERZJT5WDPHH5AC","AQMZJXUR5NFNATJ4LPTVGVLQFIKRKRSPYAICXWHGQCQ4WLMQ2JTQC","QLG4WQX6Q3G4VHT2S5CGBSIQCMYIVLCVPMETRCS4A7UEV6V5PXFAC","ZS5IYZH5EXXPSVIFWS7XW5POEVRRCK6XV6PB36D3EJXJRT22LKOQC","GX5PD3CLX63YPRCVKQTLSPDZTBWLZFJ4G6LJTPSMR6UGXFBM4AYAC","CFJ4FLCQO4NHLTEWFRFAGLC5NKMCEQO2NZ33QIF6IT2TXYCAGEVQC","QDUCYGB6LZA3AXLPJN2AVEOPDPSQBNLM53WNOALPYRWKVXMSRBBAC","TBAWBZFDT7R4A275URGY7DZG2E6E5U73HJBOU3RF4QBMCV5KDE3AC","KK3POZUTSBQYMPMCR742AD6H2LYVFKEFWS6A2WARA62LMRICGYCAC","6GP2UPJYSIBGAUEPRIS5ZOAM2XNQ3YQMX3TM5ARXWAJ2DTQ4RYLAC","AFTQVKJAKZLGSUBOZOMBLXOEGSFZDBT4WOAZGGSA6ETRJCFZNFKQC","GC2EXJUFGAKWF2KWW6LF7OB2FAFGTBJPHFH667AAR35MP2GFQA2AC","T2GN62QE2TB76IJYJ4HNR2Z4CP7KB7GOZ5THDZ5RGMJBSAD72MCQC","5C5YG7ERUYCCQ7H66Z3SBRSHBVWGNN3USK5A37IKAJFYM2VRV4HQC","23AHVLSARPD5HJ3ULFYTYW3FKKC2UV3FTGLLCZEA5TXPVJL7EXSQC"]},"hunks":[{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":224,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":37},"to":{"change":18,"start":3,"end":68},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":68},"to":{"change":18,"start":64,"end":134},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":68},"to":{"change":18,"start":64,"end":134},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":302},"to":{"change":18,"start":64,"end":134},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":134},"to":{"change":18,"start":15185,"end":15258},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":15185},"to":{"change":18,"start":15185,"end":15258},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":690},"to":{"change":18,"start":396,"end":402},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":56526},"to":{"change":18,"start":396,"end":402},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":396},"to":{"change":18,"start":396,"end":402},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" if State.cursor_y > App.screen.height - State.line_height then","pos":"AYS3Z3TXOXF5ZJDLSBWEUIOWXJEZXLXEBZS5ZRJC2IRDVM7KTSTAC:67"}},{"Del":{"text":" Text.populate_screen_line_starting_pos(State, State.cursor1.line)","pos":"ODLKHO7BO2AODYO2OEQ6D4NSNBT5GR3CKLUXWMDLRYXL7DJOI7BAC:133"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)","pos":"UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC:15257"}},{"Del":{"text":" end","pos":"IRCKL6VNSFB7TQEKPQUPJCN37N5QW7D54DSZMESVXGK7NEHGSIPAC:401"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":243,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":192},"to":{"change":18,"start":69,"end":136},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":136},"to":{"change":18,"start":4,"end":4},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":4},"to":{"change":18,"start":15259,"end":15334},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":136},"to":{"change":18,"start":15259,"end":15334},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":136},"to":{"change":18,"start":15259,"end":15334},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":261},"to":{"change":18,"start":15259,"end":15334},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":176},"to":{"change":18,"start":105,"end":113},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":214},"to":{"change":18,"start":105,"end":113},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":360},"to":{"change":18,"start":105,"end":113},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":15334},"to":{"change":18,"start":105,"end":113},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":57427},"to":{"change":18,"start":105,"end":113},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":105},"to":{"change":18,"start":105,"end":113},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" if State.cursor_y > App.screen.height - State.line_height then","pos":"OLCW3NQHQ3MDEVG6NQVWHQ4WDRBYVHI3E56W346OCTRRCIYMC2ZAC:135"}},{"Del":{"text":"","pos":"GO4OXDP4USUBN2UGNY2ZZEUZE3NG52F3T5CZ76H7VQ23Q4CQOSJAC:4"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)","pos":"UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC:15333"}},{"Del":{"text":" end","pos":"3TDOZESEOYHGF6LYKR6PYSPNFI3QUGED2BKM5LUDEKJKRIX3ACEAC:112"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":293,"ins":{"up_context":[{"change":18,"pos":1095}],"down_context":[{"change":18,"pos":2992}],"flag":"BLOCK","start":0,"end":56,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1095},"to":{"change":18,"start":1095,"end":1154},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1154},"to":{"change":18,"start":967,"end":1104},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1104},"to":{"change":12,"start":33,"end":132},"introduced_by":12}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" else","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8"}},{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:55"}}],"del_contents":[{"Del":{"text":" elseif Text.lt1(State.cursor1, State.screen_top1) then","pos":"62JEPVQ34SOTQI6VQNLGLKS5O4KFU52UKAVDHN6N7G5T6Z5EZO5QC:1153"}},{"Del":{"text":" State.screen_top1 = {","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:994"}},{"Del":{"text":" line=State.cursor1.line,","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1027"}},{"Del":{"text":" pos=Text.pos_at_start_of_screen_line(State, State.cursor1),","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1095"}},{"Del":{"text":" }","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1103"}},{"Del":{"text":" Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks","pos":"7ZXZGVHM2THAGJABJZLKW56VG72AD3Z6DINZ7XBWOYDJX4J77PMQC:131"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":539,"ins":{"up_context":[{"change":18,"pos":2677}],"down_context":[{"change":18,"pos":2677}],"flag":"BLOCK","start":57,"end":100,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":2677},"to":{"change":18,"start":3,"end":56},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":56},"to":{"change":18,"start":1105,"end":1234},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1234},"to":{"change":12,"start":325,"end":422},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":12,"pos":422},"to":{"change":18,"start":204,"end":210},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1329},"to":{"change":18,"start":204,"end":210},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":204},"to":{"change":18,"start":204,"end":210},"introduced_by":18}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:99"}}],"del_contents":[{"Del":{"text":" if Text.lt1(State.cursor1, State.screen_top1) then","pos":"2LEXWUW3EQUVE6IZTQROWRU6GDKZER35TGVDL3HFYYSEMA2RZEHAC:55"}},{"Del":{"text":" State.screen_top1 = {","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1130"}},{"Del":{"text":" line=State.cursor1.line,","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1161"}},{"Del":{"text":" pos=Text.pos_at_start_of_screen_line(State, State.cursor1),","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1227"}},{"Del":{"text":" }","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1233"}},{"Del":{"text":" Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks","pos":"7ZXZGVHM2THAGJABJZLKW56VG72AD3Z6DINZ7XBWOYDJX4J77PMQC:421"}},{"Del":{"text":" end","pos":"2LEXWUW3EQUVE6IZTQROWRU6GDKZER35TGVDL3HFYYSEMA2RZEHAC:209"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":560,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":18,"pos":189},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1095},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1329},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1596},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1666},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":2699},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":6252},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":366},"to":{"change":18,"start":1313,"end":1321},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1321},"to":{"change":18,"start":221,"end":288},"introduced_by":10},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":288},"to":{"change":10,"start":6,"end":113},"introduced_by":10},{"previous":"","flag":"DELETED","from":{"change":10,"pos":113},"to":{"change":18,"start":289,"end":421},"introduced_by":10},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":6537},"to":{"change":18,"start":289,"end":421},"introduced_by":10},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":421},"to":{"change":10,"start":115,"end":115},"introduced_by":10},{"previous":"","flag":"DELETED","from":{"change":10,"pos":115},"to":{"change":18,"start":1451,"end":1501},"introduced_by":10},{"previous":"","flag":"DELETED","from":{"change":18,"pos":337},"to":{"change":18,"start":1451,"end":1501},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":421},"to":{"change":18,"start":1451,"end":1501},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":3562},"to":{"change":18,"start":1451,"end":1501},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1501},"to":{"change":18,"start":422,"end":506},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" end","pos":"SVJZZDC3K6AKAXHGRNAZKRE2ZXEKJANNLG7LSSUZJARFBL5F7C4AC:1320"}},{"Del":{"text":"--? print('new cursor', State.cursor1.line, State.cursor1.pos)","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:287"}},{"Del":{"text":" local screen_bottom1 = Text.screen_bottom1(State)","pos":"VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC:59"}},{"Del":{"text":" if State.cursor1.line > screen_bottom1.line then","pos":"VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC:112"}},{"Del":{"text":"--? print('screen top before:', State.screen_top1.line, State.screen_top1.pos)","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:373"}},{"Del":{"text":"--? print('scroll up preserving cursor')","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:420"}},{"Del":{"text":"","pos":"VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC:115"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC:1500"}},{"Del":{"text":"--? print('screen top after:', State.screen_top1.line, State.screen_top1.pos)","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:505"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":563,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":3744},"to":{"change":10,"start":116,"end":234},"introduced_by":10}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" local screen_bottom1 = Text.screen_bottom1(State)","pos":"VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC:169"}},{"Del":{"text":" local scroll_down = Text.le1(screen_bottom1, State.cursor1)","pos":"VC3YS42DKQ5PVDV3YJEBWIMOUN6DVZK3C2WOJMCM5SDIH4WNJMDQC:233"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":572,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":793},"to":{"change":18,"start":405,"end":405},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":405},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":693},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":793},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":7293},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":71629},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":4571},"to":{"change":18,"start":130,"end":154},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":154},"to":{"change":18,"start":794,"end":841},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":737},"to":{"change":18,"start":1721,"end":1771},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":841},"to":{"change":18,"start":1721,"end":1771},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":4678},"to":{"change":18,"start":1721,"end":1771},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1771},"to":{"change":18,"start":842,"end":926},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":818},"to":{"change":18,"start":4796,"end":4804},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":926},"to":{"change":18,"start":4796,"end":4804},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":7378},"to":{"change":18,"start":4796,"end":4804},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":71728},"to":{"change":18,"start":4796,"end":4804},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":4796},"to":{"change":18,"start":4796,"end":4804},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":"","pos":"QLG4WQX6Q3G4VHT2S5CGBSIQCMYIVLCVPMETRCS4A7UEV6V5PXFAC:405"}},{"Del":{"text":" if scroll_down then","pos":"CUIV2LE5D6GUQ4NU7K2TGUVO5CTUXVJDRCZUIV47LXTOUSEPEJHQC:153"}},{"Del":{"text":"--? print('scroll up preserving cursor')","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:840"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC:1770"}},{"Del":{"text":"--? print('screen top after:', State.screen_top1.line, State.screen_top1.pos)","pos":"6LBSEPBJTXIVBYX3AH5FYCQCN66ZRFFO3IVYMDS7IQUGEAZM3MHQC:925"}},{"Del":{"text":" end","pos":"ZPUQSPQPQFVRUIHGLAWW3IDBYODIWDHO62HAC3WWF5TM3CIJGHNQC:4803"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":578,"ins":{"up_context":[{"change":18,"pos":7596}],"down_context":[{"change":18,"pos":6255}],"flag":"BLOCK","start":101,"end":144,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":7596},"to":{"change":18,"start":7596,"end":7649},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":7649},"to":{"change":11,"start":594,"end":642},"introduced_by":11},{"previous":"","flag":"DELETED","from":{"change":11,"pos":642},"to":{"change":18,"start":6249,"end":6255},"introduced_by":11},{"previous":"","flag":"DELETED","from":{"change":18,"pos":7731},"to":{"change":18,"start":6249,"end":6255},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":72130},"to":{"change":18,"start":6249,"end":6255},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":6249},"to":{"change":18,"start":6249,"end":6255},"introduced_by":18}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:143"}}],"del_contents":[{"Del":{"text":" if Text.lt1(State.cursor1, State.screen_top1) then","pos":"Z5HLXU4PJWWJJDBCK52NBD6PIRIA3TAN2BKZB5HBYFGIDBX4F5HAC:7648"}},{"Del":{"text":" State.screen_top1 = deepcopy(State.cursor1)","pos":"EB6LHFJRSQIQWC3M5CZWOLG7PX3HHO2ZQ2TGMBCOLUBDZSP7CJZAC:641"}},{"Del":{"text":" end","pos":"HTWAM4NZFOY463TNSKYIM2EWB7QNBGDRRTTGHF5N3Z4TGC7Q3SFAC:6254"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":583,"ins":{"up_context":[{"change":18,"pos":7851}],"down_context":[{"change":18,"pos":4931}],"flag":"BLOCK","start":145,"end":226,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":7909},"to":{"change":18,"start":3,"end":46},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":46},"to":{"change":18,"start":1873,"end":1921},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":46},"to":{"change":18,"start":1873,"end":1921},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":362},"to":{"change":18,"start":1873,"end":1921},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":433},"to":{"change":18,"start":6543,"end":6549},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1511},"to":{"change":18,"start":6543,"end":6549},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1921},"to":{"change":18,"start":6543,"end":6549},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":6543},"to":{"change":18,"start":6543,"end":6549},"introduced_by":18}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" -- no scrolling here; edit.keychord_press scrolls once when the cursor settles","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:225"}}],"del_contents":[{"Del":{"text":" if Text.cursor_out_of_screen(State) then","pos":"ELJNEPW26FUIIFY6D24274J7KZICRLE3TJHCFNRVLR5NZBNNV37AC:45"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC:1920"}},{"Del":{"text":" end","pos":"HTWAM4NZFOY463TNSKYIM2EWB7QNBGDRRTTGHF5N3Z4TGC7Q3SFAC:6548"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":630,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":42},"to":{"change":18,"start":47,"end":90},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":90},"to":{"change":18,"start":315,"end":315},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":90},"to":{"change":18,"start":2031,"end":2079},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":90},"to":{"change":18,"start":2031,"end":2079},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":315},"to":{"change":18,"start":2031,"end":2079},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":411},"to":{"change":18,"start":2031,"end":2079},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":128},"to":{"change":18,"start":36,"end":42},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":488},"to":{"change":18,"start":36,"end":42},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1573},"to":{"change":18,"start":36,"end":42},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":2079},"to":{"change":18,"start":36,"end":42},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":5536},"to":{"change":18,"start":36,"end":42},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1453},"to":{"change":18,"start":36,"end":42},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" if Text.cursor_out_of_screen(State) then","pos":"AXDEFUKT3MCCN4JIWR7MKDE272YVJUFYUNSAHEY2WBI3D4BIA5RAC:89"}},{"Del":{"text":"","pos":"GO4OXDP4USUBN2UGNY2ZZEUZE3NG52F3T5CZ76H7VQ23Q4CQOSJAC:315"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC:2078"}},{"Del":{"text":" end","pos":"KECEMMMRW2VVBZ567HJQPGLC57LTSBKWH7UFP32IW43D23X6WTEQC:41"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":657,"ins":{"up_context":[{"change":18,"pos":6556}],"down_context":[{"change":18,"pos":574}],"flag":"BLOCK","start":227,"end":270,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":6556},"to":{"change":18,"start":553,"end":606},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":606},"to":{"change":18,"start":1330,"end":1459},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1459},"to":{"change":12,"start":423,"end":520},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":12,"pos":520},"to":{"change":18,"start":568,"end":574},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":18,"pos":704},"to":{"change":18,"start":568,"end":574},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1554},"to":{"change":18,"start":568,"end":574},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1748},"to":{"change":18,"start":568,"end":574},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":6712},"to":{"change":18,"start":568,"end":574},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":73677},"to":{"change":18,"start":568,"end":574},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":568},"to":{"change":18,"start":568,"end":574},"introduced_by":18}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:269"}}],"del_contents":[{"Del":{"text":" if Text.lt1(State.cursor1, State.screen_top1) then","pos":"F65ADDGLR2PNXVSM2XBHM3OSLQC2OTRR3GQBI7DJWIKPJCJ5CSOAC:605"}},{"Del":{"text":" State.screen_top1 = {","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1355"}},{"Del":{"text":" line=State.cursor1.line,","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1386"}},{"Del":{"text":" pos=Text.pos_at_start_of_screen_line(State, State.cursor1),","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1452"}},{"Del":{"text":" }","pos":"LK4ZW4BBDD5LC4JK4XK5DJESSDFAIRVFPDM324S7SCAUXEXYVTLQC:1458"}},{"Del":{"text":" Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks","pos":"7ZXZGVHM2THAGJABJZLKW56VG72AD3Z6DINZ7XBWOYDJX4J77PMQC:519"}},{"Del":{"text":" end","pos":"KECEMMMRW2VVBZ567HJQPGLC57LTSBKWH7UFP32IW43D23X6WTEQC:573"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":662,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":780},"to":{"change":18,"start":91,"end":134},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":134},"to":{"change":18,"start":2238,"end":2286},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":134},"to":{"change":18,"start":2238,"end":2286},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":460},"to":{"change":18,"start":2238,"end":2286},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":543},"to":{"change":18,"start":245,"end":251},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1810},"to":{"change":18,"start":245,"end":251},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":2286},"to":{"change":18,"start":245,"end":251},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":245},"to":{"change":18,"start":245,"end":251},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" if Text.cursor_out_of_screen(State) then","pos":"ELJNEPW26FUIIFY6D24274J7KZICRLE3TJHCFNRVLR5NZBNNV37AC:133"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC:2285"}},{"Del":{"text":" end","pos":"62PZGSUCEXJOCVWEOOENSDJITJFR27BGW7BPGFYVD3E5M6446RQQC:250"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":760,"atom":{"NewVertex":{"up_context":[{"change":133,"pos":540}],"down_context":[{"change":18,"pos":2924}],"flag":"BLOCK","start":271,"end":1465,"inode":{"change":132,"pos":1}}},"contents":[{"Add":{"text":"function Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:320"}},{"Add":{"text":" if not Text.lt1(State.cursor1, State.screen_top1) then return end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:388"}},{"Add":{"text":" State.screen_top1 = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:412"}},{"Add":{"text":" line=State.cursor1.line,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:441"}},{"Add":{"text":" pos=Text.pos_at_start_of_screen_line(State, State.cursor1),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:505"}},{"Add":{"text":" }","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:509"}},{"Add":{"text":" Text.redraw_all(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:534"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:538"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:539"}},{"Add":{"text":"-- Different from Text.cursor_out_of_screen. When the cursor sits exactly on","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:616"}},{"Add":{"text":"-- the boundary between two screen lines of a wrapped line, Text.draw shows it","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:695"}},{"Add":{"text":"-- at the _end of the previous screen line_.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:740"}},{"Add":{"text":"function Text.cursor_line_below_screen(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:786"}},{"Add":{"text":" local screen_bottom1 = Text.screen_bottom1(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:838"}},{"Add":{"text":" local start_pos = Text.pos_at_start_of_screen_line(State, State.cursor1)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:913"}},{"Add":{"text":" return Text.lt1(screen_bottom1, {line=State.cursor1.line, pos=start_pos})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:989"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:993"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:994"}},{"Add":{"text":"function Text.scroll_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1032"}},{"Add":{"text":" if State.cursor1 == nil or State.cursor1.pos == nil then return end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1102"}},{"Add":{"text":" if State.lines[State.cursor1.line] == nil then return end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1162"}},{"Add":{"text":" if State.lines[State.cursor1.line].mode ~= 'text' then return end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1230"}},{"Add":{"text":" if State.top == nil then return end -- hack for pensieve","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1290"}},{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1333"}},{"Add":{"text":" if State.scrolls_itself and Text.cursor_line_below_screen(State) then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1405"}},{"Add":{"text":" Text.snap_cursor_to_bottom_of_screen(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1453"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1459"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1463"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1464"}}]}},{"Replacement":{"inode":{"change":132,"pos":1},"path":"text.lua","line":806,"ins":{"up_context":[{"change":18,"pos":3369}],"down_context":[{"change":18,"pos":545}],"flag":"BLOCK","start":1466,"end":1498,"inode":{"change":132,"pos":1}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":3369},"to":{"change":4,"start":3,"end":399},"introduced_by":4}],"inode":{"change":132,"pos":1}},"ins_contents":[{"Add":{"text":" if y - h < State.top then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1497"}}],"del_contents":[{"Del":{"text":" local min = State.top","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:30"}},{"Del":{"text":" if not App.run_tests then","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:62"}},{"Del":{"text":" -- HACK: when rendering multiple panes, back off just a bit on keeping","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:141"}},{"Del":{"text":" -- cursor all the way at the bottom.","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:186"}},{"Del":{"text":" -- We need to compensate for plan_draw potentially moving the viewport,","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:266"}},{"Del":{"text":" -- and ensure the cursor doesn't go off screen.","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:322"}},{"Del":{"text":" min = min + State.line_height/2","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:362"}},{"Del":{"text":" end","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:372"}},{"Del":{"text":" if y - h < min then","pos":"QHO334GXPB6KN3WPGTBMCYTZUSJ53DANEDXCQFAVPFHP2YOLNB5AC:398"}}]}},{"Edit":{"inode":{"change":132,"pos":1},"path":"text.lua","line":1205,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":509},"to":{"change":18,"start":137,"end":204},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":204},"to":{"change":18,"start":135,"end":207},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":204},"to":{"change":18,"start":135,"end":207},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":720},"to":{"change":18,"start":135,"end":207},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":207},"to":{"change":18,"start":15438,"end":15513},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":15438},"to":{"change":18,"start":15438,"end":15513},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":15513},"to":{"change":18,"start":243,"end":351},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":351},"to":{"change":18,"start":806,"end":814},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1114},"to":{"change":18,"start":806,"end":814},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":58335},"to":{"change":18,"start":806,"end":814},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":806},"to":{"change":18,"start":806,"end":814},"introduced_by":18}],"inode":{"change":132,"pos":1}}},"contents":[{"Del":{"text":" if State.cursor_y > App.screen.height - State.line_height then","pos":"AYS3Z3TXOXF5ZJDLSBWEUIOWXJEZXLXEBZS5ZRJC2IRDVM7KTSTAC:203"}},{"Del":{"text":" Text.populate_screen_line_starting_pos(State, State.cursor1.line)","pos":"ODLKHO7BO2AODYO2OEQ6D4NSNBT5GR3CKLUXWMDLRYXL7DJOI7BAC:206"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)","pos":"UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC:15512"}},{"Del":{"text":"--? print('=>', State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos)","pos":"ZS5IYZH5EXXPSVIFWS7XW5POEVRRCK6XV6PB36D3EJXJRT22LKOQC:350"}},{"Del":{"text":" end","pos":"IRCKL6VNSFB7TQEKPQUPJCN37N5QW7D54DSZMESVXGK7NEHGSIPAC:813"}}]}},{"SolveOrderConflict":{"inode":{"change":132,"pos":1},"path":"text.lua","line":1205,"atom":{"NewVertex":{"up_context":[{"change":16,"pos":9608}],"down_context":[],"flag":"","start":1499,"end":1499,"inode":{"change":132,"pos":1}}},"contents":[{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1499"}}]}},{"Replacement":{"inode":{"change":18,"pos":43980},"path":"select.lua","line":115,"ins":{"up_context":[{"change":18,"pos":2408}],"down_context":[{"change":18,"pos":2593}],"flag":"BLOCK","start":1500,"end":1543,"inode":{"change":18,"pos":43980}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":2408},"to":{"change":18,"start":2408,"end":2509},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":2509},"to":{"change":18,"start":679,"end":762},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":441},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":512},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":762},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1270},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":2592},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":4574},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":80515},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1160},"to":{"change":18,"start":1160,"end":1166},"introduced_by":18}],"inode":{"change":18,"pos":43980}},"ins_contents":[{"Add":{"text":" Text.pull_screen_top_up_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1542"}}],"del_contents":[{"Del":{"text":" if Text.lt1(State.cursor1, State.screen_top1) then","pos":"S2MISTTMPEULTO6WRO4Q4NRUO7XC2PTZW3UBR7K7SO6JPZO6HBHAC:2460"}},{"Del":{"text":" State.screen_top1.line = State.cursor1.line","pos":"S2MISTTMPEULTO6WRO4Q4NRUO7XC2PTZW3UBR7K7SO6JPZO6HBHAC:2508"}},{"Del":{"text":" State.screen_top1.pos = Text.pos_at_start_of_screen_line(State, State.cursor1)","pos":"GNQC72UXBU6KYXW6MXLNRGTLXV2VPQXMVCLYMJT6POTFXSF5ASJAC:761"}},{"Del":{"text":" end","pos":"4J2L6JMR7NZBGCNX63CL2E3AIB7P7QTCC7QQBPNAEPQ7ISQXL7EQC:1165"}}]}},{"FileAdd":{"meta":{"basename":"scroll_tests.lua","metadata":0},"context":[{"change":134,"pos":2}],"contents":[{"Add":{"text":"-- Loads the real text.lua and run.lua and checks the scroll invariants.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1658"}},{"Add":{"text":"-- Stubs out only LÖVE and the drawing subsystem.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1709"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1710"}},{"Add":{"text":"utf8 = require 'utf8'","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1732"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1733"}},{"Add":{"text":"-- ---------- stubs ----------","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1764"}},{"Add":{"text":"local FONT_W = 10 -- every glyph is 10px wide","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1811"}},{"Add":{"text":"local font = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1826"}},{"Add":{"text":" getWidth = function(self, s) return utf8.len(s)*FONT_W end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1888"}},{"Add":{"text":" getHeight = function(self) return 20 end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1932"}},{"Add":{"text":"}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1934"}},{"Add":{"text":"App = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:1942"}},{"Add":{"text":" screen = {width=1000, height=800, print=function() end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2001"}},{"Add":{"text":" color=function() end, run_tests=nil,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2040"}},{"Add":{"text":" mouse_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2082"}},{"Add":{"text":" ctrl_down=function() return false end, alt_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2161"}},{"Add":{"text":" cmd_down=function() return false end, shift_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2241"}},{"Add":{"text":" default_modifier=function(k) return 'C-'..k end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2292"}},{"Add":{"text":" is_cursor_movement=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2342"}},{"Add":{"text":"}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2344"}},{"Add":{"text":"love = {graphics={setFont=function() end, print=function() end, rectangle=function() end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2434"}},{"Add":{"text":" setColor=function() end, line=function() end, getFont=function() return font end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2534"}},{"Add":{"text":" newFont=function() return font end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2589"}},{"Add":{"text":" filesystem={getSourceBaseDirectory=function() return '' end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2659"}},{"Add":{"text":" mouse={newCursor=function() return {} end, getSystemCursor=function() return {} end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2752"}},{"Add":{"text":" getPosition=function() return 0,0 end, setCursor=function() end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2833"}},{"Add":{"text":" keyboard={isDown=function() return false end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2888"}},{"Add":{"text":" window={}}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2907"}},{"Add":{"text":"Drawing = {pixels=function(h,w) return h end, draw=function() end, update=function() end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:2997"}},{"Add":{"text":" current_drawing=function() return nil end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3051"}},{"Add":{"text":"Drawing_padding_top, Drawing_padding_bottom, Drawing_padding_height = 0,0,0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3127"}},{"Add":{"text":"Text_color = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3143"}},{"Add":{"text":"function button() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3165"}},{"Add":{"text":"function mouse_hover_on_any_button() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3219"}},{"Add":{"text":"function icon() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3239"}},{"Add":{"text":"icon = {insert_drawing=function() end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3278"}},{"Add":{"text":"function schedule_save() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3307"}},{"Add":{"text":"function snapshot() return {} end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3341"}},{"Add":{"text":"function record_undo_event() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3374"}},{"Add":{"text":"function deepcopy(x)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3395"}},{"Add":{"text":" if type(x) ~= 'table' then return x end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3437"}},{"Add":{"text":" local r = {} for k,v in pairs(x) do r[k]=deepcopy(v) end return r","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3505"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3509"}},{"Add":{"text":"function eq() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3540"}},{"Add":{"text":"function empty(t) for _ in pairs(t) do return false end return true end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3612"}},{"Add":{"text":"function array() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3633"}},{"Add":{"text":"array = {find=function() return nil end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3674"}},{"Add":{"text":"function log() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3693"}},{"Add":{"text":"function log_new() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3716"}},{"Add":{"text":"function print_and_log() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3745"}},{"Add":{"text":"function add_error() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3770"}},{"Add":{"text":"function find() return nil end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3801"}},{"Add":{"text":"function trim(s) return s end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3831"}},{"Add":{"text":"function starts_with() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3871"}},{"Add":{"text":"function load_from_disk() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3901"}},{"Add":{"text":"function load_links() return {} end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3937"}},{"Add":{"text":"function save_to_disk() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3965"}},{"Add":{"text":"Edge_list = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:3980"}},{"Add":{"text":"Non_unique_links = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4002"}},{"Add":{"text":"Opposite = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4016"}},{"Add":{"text":"Links = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4027"}},{"Add":{"text":"Margin_left, Margin_right = 10, 10","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4062"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4063"}},{"Add":{"text":"dofile('text.lua')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4082"}},{"Add":{"text":"dofile('select.lua')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4103"}},{"Add":{"text":"dofile('search.lua')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4124"}},{"Add":{"text":"dofile('edit.lua')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4143"}},{"Add":{"text":"dofile('run.lua')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4161"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4162"}},{"Add":{"text":"run.initialize_globals()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4187"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4188"}},{"Add":{"text":"-- ---------- build a surface ----------","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4229"}},{"Add":{"text":"-- column width 400 => 40 chars per screen line at FONT_W=10","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4290"}},{"Add":{"text":"local function new_pane(id, lines)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4325"}},{"Add":{"text":" local p = edit.initialize_state(0, 0, Display_settings.column_width, font, Font_height, Line_height)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4428"}},{"Add":{"text":" p.id = id","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4440"}},{"Add":{"text":" p.lines = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4455"}},{"Add":{"text":" p.line_cache = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4475"}},{"Add":{"text":" for _,d in ipairs(lines) do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4505"}},{"Add":{"text":" table.insert(p.lines, {mode='text', data=d})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4554"}},{"Add":{"text":" table.insert(p.line_cache, {})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4589"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4595"}},{"Add":{"text":" p.font = font","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4611"}},{"Add":{"text":" p.font_height = Font_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4641"}},{"Add":{"text":" p.line_height = Line_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4671"}},{"Add":{"text":" p.left, p.right = 0, Display_settings.column_width","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4724"}},{"Add":{"text":" p.width = p.right - p.left","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4753"}},{"Add":{"text":" p.editable = false","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4774"}},{"Add":{"text":" p.cursor1 = {line=1, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4804"}},{"Add":{"text":" p.screen_top1 = {line=1, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4838"}},{"Add":{"text":" return p","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4849"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4853"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4854"}},{"Add":{"text":"local function rep(n, c) return string.rep(c or 'a', n) end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4914"}},{"Add":{"text":"local long = rep(200) -- wraps into several screen lines","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4980"}},{"Add":{"text":"local lines = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:4997"}},{"Add":{"text":"for i=1,12 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5011"}},{"Add":{"text":" table.insert(lines, (i%3==0) and long or ('line '..i))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5068"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5072"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5073"}},{"Add":{"text":"Display_settings.font = font","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5102"}},{"Add":{"text":"Display_settings.column_width = 400","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5138"}},{"Add":{"text":"Surface = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5150"}},{"Add":{"text":" {name='col1', new_pane('a', lines), new_pane('b', lines)},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5211"}},{"Add":{"text":" {name='col2', new_pane('c', lines)},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5250"}},{"Add":{"text":"}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5252"}},{"Add":{"text":"Cursor_pane = {col=1, row=2}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5281"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5282"}},{"Add":{"text":"local fails, checks = 0, 0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5309"}},{"Add":{"text":"local function check(cond, msg)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5341"}},{"Add":{"text":" checks = checks + 1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5363"}},{"Add":{"text":" if not cond then fails = fails + 1; print(' FAIL: '..msg) end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5428"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5432"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5433"}},{"Add":{"text":"-- ================= TEST 1: y_of_schema1 inverts schema1_of_y =================","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5514"}},{"Add":{"text":"print('1. y_of_schema1 is the inverse of schema1_of_y')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5570"}},{"Add":{"text":"do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5573"}},{"Add":{"text":" local pane = Surface[1][1]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5602"}},{"Add":{"text":" for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5636"}},{"Add":{"text":" Text.populate_screen_line_starting_pos(pane, line_index)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5697"}},{"Add":{"text":" local n = #pane.line_cache[line_index].screen_line_starting_pos","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5765"}},{"Add":{"text":" for si=1,n do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5783"}},{"Add":{"text":" local spos = pane.line_cache[line_index].screen_line_starting_pos[si]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5859"}},{"Add":{"text":" local nextspos = pane.line_cache[line_index].screen_line_starting_pos[si+1]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:5941"}},{"Add":{"text":" or (utf8.len(pane.lines[line_index].data)+2)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6009"}},{"Add":{"text":" -- every cursor position on this screen line must map to the same y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6083"}},{"Add":{"text":" local expected = nil","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6110"}},{"Add":{"text":" for pos=spos, nextspos-1 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6144"}},{"Add":{"text":" local y = y_of_schema1(pane, {line=line_index, pos=pos})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6209"}},{"Add":{"text":" if expected == nil then expected = y end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6258"}},{"Add":{"text":" check(y == expected,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6287"}},{"Add":{"text":" ('line %d pos %d: y=%d but start of its screen line gave %d'):format(line_index, pos, y, expected))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6397"}},{"Add":{"text":" -- and round-tripping through schema1_of_y must land on this screen line","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6478"}},{"Add":{"text":" local back = schema1_of_y(pane, y - Margin_above)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6536"}},{"Add":{"text":" check(back.line == line_index and back.pos == spos,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6596"}},{"Add":{"text":" ('round trip line %d pos %d -> y %d -> {line=%d,pos=%d}, wanted {line=%d,pos=%d}')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6689"}},{"Add":{"text":" :format(line_index, pos, y, back.line, back.pos, line_index, spos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6769"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6779"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6787"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6793"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6797"}},{"Add":{"text":"print((' %d checks, %d failures'):format(checks, fails))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6856"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6857"}},{"Add":{"text":"-- ================= TEST 2: scroll_to_contain =================","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:6922"}},{"Add":{"text":"print('2. scroll_to_contain: minimal, and never moves when already contained')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7001"}},{"Add":{"text":"local c0, f0 = checks, fails","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7030"}},{"Add":{"text":"for v=0,2000,3 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7048"}},{"Add":{"text":" for lo=0,2000,7 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7069"}},{"Add":{"text":" local vlen, len = 600, 26","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7099"}},{"Add":{"text":" local nv = scroll_to_contain(v, vlen, lo, len)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7150"}},{"Add":{"text":" local was = (lo>=v and lo+len<=v+vlen)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7193"}},{"Add":{"text":" local now = (lo>=nv and lo+len<=nv+vlen)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7238"}},{"Add":{"text":" check(now, 'not contained afterwards')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7281"}},{"Add":{"text":" if was then check(nv==v, 'moved when already contained') end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7346"}},{"Add":{"text":" if not was then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7366"}},{"Add":{"text":" local minimal = (v>lo) and lo or (lo+len-vlen)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7419"}},{"Add":{"text":" check(nv==minimal, ('not minimal: got %d wanted %d'):format(nv, minimal))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7499"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7507"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7513"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7517"}},{"Add":{"text":"print((' %d checks, %d failures'):format(checks-c0, fails-f0))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7582"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7583"}},{"Add":{"text":"-- ================= TEST 3: the two stated ideals, end to end =================","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7664"}},{"Add":{"text":"print('3. bring_cursor_of_cursor_pane_in_view: the two stated ideals')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7735"}},{"Add":{"text":"local c1, f1 = checks, fails","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7764"}},{"Add":{"text":"local function cursor_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7796"}},{"Add":{"text":" local pane = Surface[Cursor_pane.col][Cursor_pane.row]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7853"}},{"Add":{"text":" local cx, cy, cw, ch = cursor_rect_on_surface(pane, Cursor_pane.col, Cursor_pane.row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7941"}},{"Add":{"text":" local vx, vy, vw, vh = viewport_on_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:7988"}},{"Add":{"text":" return cy >= vy and cy + ch <= vy + vh, cy, ch, vy, vh","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8045"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8049"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8050"}},{"Add":{"text":"local pane = Surface[1][2]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8077"}},{"Add":{"text":"local total_positions = 0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8103"}},{"Add":{"text":"for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8135"}},{"Add":{"text":" Text.populate_screen_line_starting_pos(pane, line_index)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8194"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8249"}},{"Add":{"text":" for pos=1,npos do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8269"}},{"Add":{"text":" total_positions = total_positions + 1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8311"}},{"Add":{"text":" for _,dy in ipairs{0, 40, 200, 500, 900, 1500, 2500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8371"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8419"}},{"Add":{"text":" Display_settings.y = dy","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8449"}},{"Add":{"text":" Display_settings.x = 0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8478"}},{"Add":{"text":" local before_visible = cursor_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8524"}},{"Add":{"text":" local before_y = Display_settings.y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8566"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8610"}},{"Add":{"text":" -- ideal 1: never scroll if the cursor was already fully visible","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8681"}},{"Add":{"text":" if before_visible then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8710"}},{"Add":{"text":" check(Display_settings.y == before_y,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8756"}},{"Add":{"text":" ('scrolled %d->%d though cursor was already visible (line %d pos %d)')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8837"}},{"Add":{"text":" :format(before_y, Display_settings.y, line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8905"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8915"}},{"Add":{"text":" -- ideal 2: cursor is fully visible afterwards","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:8968"}},{"Add":{"text":" local after_visible, cy, ch, vy, vh = cursor_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9029"}},{"Add":{"text":" check(after_visible,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9056"}},{"Add":{"text":" ('cursor still off screen after scrolling: line %d pos %d, cursor [%d,%d) viewport [%d,%d)')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9157"}},{"Add":{"text":" :format(line_index, pos, cy, cy+ch, vy, vy+vh))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9215"}},{"Add":{"text":" -- ideal 2: idempotent (the correction satisfies its own test)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9284"}},{"Add":{"text":" local once = Display_settings.y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9322"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9366"}},{"Add":{"text":" check(Display_settings.y == once,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9406"}},{"Add":{"text":" ('not idempotent: %d then %d'):format(once, Display_settings.y))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9479"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9487"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9493"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9497"}},{"Add":{"text":"print((' %d cursor positions x 7 viewports; %d checks, %d failures')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9568"}},{"Add":{"text":" :format(total_positions, checks-c1, fails-f1))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9621"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9622"}},{"Add":{"text":"-- ================= TEST 4: minimality end to end =================","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9691"}},{"Add":{"text":"print('4. scrolls by the minimum amount')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9733"}},{"Add":{"text":"local c2, f2 = checks, fails","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9762"}},{"Add":{"text":"for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9794"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9849"}},{"Add":{"text":" for pos=1,npos,7 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9871"}},{"Add":{"text":" for _,dy in ipairs{0, 200, 900, 2500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9916"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9964"}},{"Add":{"text":" Display_settings.y = dy","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:9994"}},{"Add":{"text":" local _, cy, ch, vy, vh = cursor_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10043"}},{"Add":{"text":" local expected","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10064"}},{"Add":{"text":" if cy >= vy and cy+ch <= vy+vh then expected = dy","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10120"}},{"Add":{"text":" elseif vy > cy then expected = cy","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10160"}},{"Add":{"text":" else expected = cy + ch - vh end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10199"}},{"Add":{"text":" expected = math.max(expected, 0)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10238"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10282"}},{"Add":{"text":" check(Display_settings.y == expected,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10326"}},{"Add":{"text":" ('line %d pos %d from y=%d: got %d wanted %d'):format(line_index,pos,dy,Display_settings.y,expected))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10436"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10444"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10450"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10454"}},{"Add":{"text":"print((' %d checks, %d failures'):format(checks-c2, fails-f2))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10519"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10520"}},{"Add":{"text":"print()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10528"}},{"Add":{"text":"print(('TOTAL: %d checks, %d failures'):format(checks, fails))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10591"}},{"Add":{"text":"os.exit(fails == 0 and 0 or 1)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10622"}}]}},{"FileAdd":{"meta":{"basename":"scroll_stubs.lua","metadata":0},"context":[{"change":134,"pos":2}],"contents":[{"Add":{"text":"-- ---------- stubs ----------","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10696"}},{"Add":{"text":"local FONT_W = 10 -- every glyph is 10px wide","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10743"}},{"Add":{"text":"local font = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10758"}},{"Add":{"text":" getWidth = function(self, s) return utf8.len(s)*FONT_W end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10820"}},{"Add":{"text":" getHeight = function(self) return 20 end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10864"}},{"Add":{"text":"}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10866"}},{"Add":{"text":"App = {","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10874"}},{"Add":{"text":" screen = {width=1000, height=800, print=function() end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:10932"}},{"Add":{"text":" init=function(t) App.screen.width=t.width; App.screen.height=t.height end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11019"}},{"Add":{"text":" check=function() end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11054"}},{"Add":{"text":" color=function() end, run_tests=nil,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11093"}},{"Add":{"text":" mouse_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11135"}},{"Add":{"text":" ctrl_down=function() return false end, alt_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11214"}},{"Add":{"text":" cmd_down=function() return false end, shift_down=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11294"}},{"Add":{"text":" default_modifier=function(k) return 'C-'..k end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11345"}},{"Add":{"text":" is_cursor_movement=function() return false end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11395"}},{"Add":{"text":"}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11397"}},{"Add":{"text":"love = {graphics={setFont=function() end, print=function() end, rectangle=function() end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11487"}},{"Add":{"text":" setColor=function() end, line=function() end, getFont=function() return font end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11587"}},{"Add":{"text":" newFont=function() return font end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11642"}},{"Add":{"text":" filesystem={getSourceBaseDirectory=function() return '' end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11712"}},{"Add":{"text":" mouse={newCursor=function() return {} end, getSystemCursor=function() return {} end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11805"}},{"Add":{"text":" getPosition=function() return 0,0 end, setCursor=function() end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11886"}},{"Add":{"text":" keyboard={isDown=function() return false end},","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11941"}},{"Add":{"text":" window={}}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:11960"}},{"Add":{"text":"Drawing = {pixels=function(h,w) return h end, draw=function() end, update=function() end,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12050"}},{"Add":{"text":" current_drawing=function() return nil end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12104"}},{"Add":{"text":"Drawing_padding_top, Drawing_padding_bottom, Drawing_padding_height = 0,0,0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12180"}},{"Add":{"text":"Text_color = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12196"}},{"Add":{"text":"function button() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12218"}},{"Add":{"text":"function mouse_hover_on_any_button() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12272"}},{"Add":{"text":"function icon() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12292"}},{"Add":{"text":"icon = {insert_drawing=function() end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12331"}},{"Add":{"text":"function schedule_save() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12360"}},{"Add":{"text":"function snapshot() return {} end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12394"}},{"Add":{"text":"function record_undo_event() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12427"}},{"Add":{"text":"function deepcopy(x)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12448"}},{"Add":{"text":" if type(x) ~= 'table' then return x end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12490"}},{"Add":{"text":" local r = {} for k,v in pairs(x) do r[k]=deepcopy(v) end return r","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12558"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12562"}},{"Add":{"text":"function eq() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12593"}},{"Add":{"text":"function empty(t) for _ in pairs(t) do return false end return true end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12665"}},{"Add":{"text":"function array() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12686"}},{"Add":{"text":"array = {find=function() return nil end}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12727"}},{"Add":{"text":"function log() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12746"}},{"Add":{"text":"function log_new() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12769"}},{"Add":{"text":"function print_and_log() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12798"}},{"Add":{"text":"function add_error() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12823"}},{"Add":{"text":"function find() return nil end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12854"}},{"Add":{"text":"function trim(s) return s end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12884"}},{"Add":{"text":"function starts_with() return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12924"}},{"Add":{"text":"function load_from_disk() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12954"}},{"Add":{"text":"function load_links() return {} end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:12990"}},{"Add":{"text":"function save_to_disk() end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13018"}},{"Add":{"text":"Edge_list = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13033"}},{"Add":{"text":"Non_unique_links = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13055"}},{"Add":{"text":"Opposite = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13069"}},{"Add":{"text":"Links = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13080"}},{"Add":{"text":"Margin_left, Margin_right = 10, 10","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13115"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13116"}}]}},{"Edit":{"inode":{"change":135,"pos":7},"path":"run_tests.lua","line":18,"atom":{"NewVertex":{"up_context":[{"change":136,"pos":1131}],"down_context":[],"flag":"BLOCK","start":13118,"end":19986,"inode":{"change":135,"pos":7}}},"contents":[{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13118"}},{"Add":{"text":"-- Tests for the scroll decision on the surface.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13167"}},{"Add":{"text":"--","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13170"}},{"Add":{"text":"-- The rules these encode:","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13197"}},{"Add":{"text":"-- 1. If the cursor would be fully visible, pressing a key never scrolls.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13273"}},{"Add":{"text":"-- 2. Otherwise we scroll just enough to make it fully visible.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13339"}},{"Add":{"text":"--","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13342"}},{"Add":{"text":"-- These are deliberately independent of the font: they build a pane, then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13417"}},{"Add":{"text":"-- compare the cursor rectangle against the viewport rectangle using the same","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13495"}},{"Add":{"text":"-- two functions the app uses to decide.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13536"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13537"}},{"Add":{"text":"function test_scroll_to_contain_leaves_a_contained_target_alone()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13603"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 300, 26), 100, 'inside')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13667"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 100, 26), 100, 'flush against near edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13748"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 674, 26), 100, 'flush against far edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13828"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13832"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13833"}},{"Add":{"text":"function test_scroll_to_contain_scrolls_the_minimum()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13887"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 90, 26), 90, 'off the near edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:13960"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 680, 26), 106, 'off the far edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14034"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 600, 5000, 26), 4426, 'far off the far edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14114"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14118"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14119"}},{"Add":{"text":"function test_scroll_to_contain_pins_an_oversized_target_to_its_top()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14189"}},{"Add":{"text":" check_eq(scroll_to_contain(100, 20, 300, 40), 300, 'target taller than viewport')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14273"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14277"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14278"}},{"Add":{"text":"-- Build a single-column surface with one pane.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14326"}},{"Add":{"text":"--","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14329"}},{"Add":{"text":"-- Deliberately font-independent: the pane gets far more lines than can fit at","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14408"}},{"Add":{"text":"-- any font size, so \"the pane is taller than the viewport\" holds without","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14482"}},{"Add":{"text":"-- depending on how text shapes.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14515"}},{"Add":{"text":"function initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14550"}},{"Add":{"text":" App.screen.init{width=800, height=600}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14591"}},{"Add":{"text":" run.initialize_globals()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14618"}},{"Add":{"text":" Display_settings.font = love.graphics.getFont()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14668"}},{"Add":{"text":" local pane = edit.initialize_state(0, 0, Display_settings.column_width, Display_settings.font, Font_height, Line_height)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14791"}},{"Add":{"text":" pane.id = 'test'","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14810"}},{"Add":{"text":" pane.lines = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14828"}},{"Add":{"text":" pane.line_cache = {}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14851"}},{"Add":{"text":" for i=1,40 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14867"}},{"Add":{"text":" local data = 'line '..i","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14895"}},{"Add":{"text":" if i%3 == 0 then data = string.rep('x', 200) end -- wraps, at any font size","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:14976"}},{"Add":{"text":" table.insert(pane.lines, {mode='text', data=data})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15031"}},{"Add":{"text":" table.insert(pane.line_cache, {})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15069"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15075"}},{"Add":{"text":" pane.font = Display_settings.font","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15111"}},{"Add":{"text":" pane.font_height = Font_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15144"}},{"Add":{"text":" pane.line_height = Line_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15177"}},{"Add":{"text":" pane.left, pane.right = 0, Display_settings.column_width","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15236"}},{"Add":{"text":" pane.width = pane.right - pane.left","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15274"}},{"Add":{"text":" pane.editable = true","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15297"}},{"Add":{"text":" pane.cursor1 = {line=1, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15330"}},{"Add":{"text":" pane.screen_top1 = {line=1, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15367"}},{"Add":{"text":" Surface = {{name='col1', pane}}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15401"}},{"Add":{"text":" Cursor_pane = {col=1, row=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15432"}},{"Add":{"text":" return pane","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15446"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15450"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15451"}},{"Add":{"text":"function test_y_of_schema1_inverts_schema1_of_y()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15501"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15542"}},{"Add":{"text":" for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15576"}},{"Add":{"text":" Text.populate_screen_line_starting_pos(pane, line_index)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15637"}},{"Add":{"text":" local starting_pos = pane.line_cache[line_index].screen_line_starting_pos","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15715"}},{"Add":{"text":" for i=1,#starting_pos do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15744"}},{"Add":{"text":" local spos = starting_pos[i]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15779"}},{"Add":{"text":" local past_end = starting_pos[i+1] or (utf8.len(pane.lines[line_index].data)+2)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15865"}},{"Add":{"text":" local expected = y_of_schema1(pane, {line=line_index, pos=spos})","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15936"}},{"Add":{"text":" for pos=spos,past_end-1 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:15969"}},{"Add":{"text":" check_eq(y_of_schema1(pane, {line=line_index, pos=pos}), expected,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16044"}},{"Add":{"text":" ('y_of_schema1 line %d pos %d'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16118"}},{"Add":{"text":" local back = schema1_of_y(pane, expected - Margin_above)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16183"}},{"Add":{"text":" check_eq(back.line, line_index, ('round trip line for line %d pos %d'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16287"}},{"Add":{"text":" check_eq(back.pos, spos, ('round trip pos for line %d pos %d'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16383"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16393"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16401"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16407"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16411"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16412"}},{"Add":{"text":"function test_never_scrolls_when_cursor_is_already_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16473"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16514"}},{"Add":{"text":" for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16548"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16605"}},{"Add":{"text":" for pos=1,npos,11 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16630"}},{"Add":{"text":" for _,y in ipairs{0, 40, 200, 500, 900, 1500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16685"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16735"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16789"}},{"Add":{"text":" if cursor_of_cursor_pane_is_visible() then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16840"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16888"}},{"Add":{"text":" check_eq(Display_settings.y, y,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:16930"}},{"Add":{"text":" ('scrolled though cursor at %d,%d was already visible'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17030"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17042"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17052"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17060"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17066"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17070"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17071"}},{"Add":{"text":"function test_always_scrolls_enough_to_show_the_cursor()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17128"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17169"}},{"Add":{"text":" for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17203"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17260"}},{"Add":{"text":" for pos=1,npos,11 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17285"}},{"Add":{"text":" for _,y in ipairs{0, 40, 200, 500, 900, 1500, 2500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17346"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17396"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17450"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17496"}},{"Add":{"text":" check(cursor_of_cursor_pane_is_visible(),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17546"}},{"Add":{"text":" ('cursor at %d,%d still not visible after scrolling from y=%d'):format(line_index, pos, y))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17652"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17662"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17670"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17676"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17680"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17681"}},{"Add":{"text":"function test_scrolling_to_the_cursor_is_idempotent()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17735"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17776"}},{"Add":{"text":" for line_index=1,#pane.lines do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17810"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17867"}},{"Add":{"text":" for pos=1,npos,11 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17892"}},{"Add":{"text":" for _,y in ipairs{0, 200, 900, 2500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17938"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:17988"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18042"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18088"}},{"Add":{"text":" local once_x, once_y = Display_settings.x, Display_settings.y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18158"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18204"}},{"Add":{"text":" check_eq(Display_settings.y, once_y, ('y not idempotent at %d,%d'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18304"}},{"Add":{"text":" check_eq(Display_settings.x, once_x, ('x not idempotent at %d,%d'):format(line_index, pos))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18404"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18414"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18422"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18428"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18432"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18433"}},{"Add":{"text":"function test_scrolls_up_for_a_cursor_above_the_viewport()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18492"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18533"}},{"Add":{"text":" pane.cursor1 = {line=1, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18566"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, 900","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18616"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18656"}},{"Add":{"text":" check(cursor_of_cursor_pane_is_visible(), 'cursor visible')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18718"}},{"Add":{"text":" local _, cy = cursor_rect_on_surface(pane, Cursor_pane.col, Cursor_pane.row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18797"}},{"Add":{"text":" check_eq(Display_settings.y, cy, 'cursor line flush against the top edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18874"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18878"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18879"}},{"Add":{"text":"function test_scrolls_down_for_a_cursor_below_the_viewport()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18940"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:18981"}},{"Add":{"text":" pane.cursor1 = {line=#pane.lines, pos=1}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19024"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, 0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19072"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19112"}},{"Add":{"text":" check(cursor_of_cursor_pane_is_visible(), 'cursor visible')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19174"}},{"Add":{"text":" local _, cy, _, ch = cursor_rect_on_surface(pane, Cursor_pane.col, Cursor_pane.row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19260"}},{"Add":{"text":" local _, vy, _, vh = viewport_on_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19305"}},{"Add":{"text":" check_eq(vy + vh, cy + ch, 'cursor line flush against the bottom edge')","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19379"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19383"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19384"}},{"Add":{"text":"function test_cursor_is_typable_immediately_after_scrolling_to_it()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19452"}},{"Add":{"text":" local pane = initialize_test_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19493"}},{"Add":{"text":" for line_index=1,#pane.lines,3 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19529"}},{"Add":{"text":" local npos = utf8.len(pane.lines[line_index].data)+1","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19586"}},{"Add":{"text":" for pos=1,npos,11 do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19611"}},{"Add":{"text":" for _,y in ipairs{0, 200, 900, 2500} do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19657"}},{"Add":{"text":" pane.cursor1 = {line=line_index, pos=pos}","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19707"}},{"Add":{"text":" Display_settings.x, Display_settings.y = 0, y","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19761"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19807"}},{"Add":{"text":" check(cursor_of_cursor_pane_is_visible(),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19857"}},{"Add":{"text":" ('cursor at %d,%d not typable after scrolling from y=%d'):format(line_index, pos, y))","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19957"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19967"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19975"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19981"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:19985"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":291,"atom":{"NewVertex":{"up_context":[{"change":18,"pos":11285}],"down_context":[{"change":138,"pos":17}],"flag":"BLOCK","start":19987,"end":20049,"inode":{"change":137,"pos":178044}}},"contents":[{"Add":{"text":" result.scrolls_itself = false -- surface scrolls all panes","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20048"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":850,"ins":{"up_context":[{"change":18,"pos":27077}],"down_context":[{"change":18,"pos":27240}],"flag":"BLOCK","start":20050,"end":20103,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":27077},"to":{"change":5,"start":17,"end":216},"introduced_by":5}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" if cursor_of_cursor_pane_is_visible() then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20102"}}],"del_contents":[{"Del":{"text":" if pane.cursor_x and pane.cursor_x >= 0 and pane.cursor_x < App.screen.width then","pos":"XMOMZ23IPLQCWKILUMVMFP7UOO56MIIZ5LR6AR6CYGPMZYHTGDDAC:108"}},{"Del":{"text":" if pane.cursor_y and pane.cursor_y >= Header_height and pane.cursor_y < App.screen.height then","pos":"XMOMZ23IPLQCWKILUMVMFP7UOO56MIIZ5LR6AR6CYGPMZYHTGDDAC:215"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":852,"ins":{"up_context":[{"change":18,"pos":27303}],"down_context":[{"change":18,"pos":27569}],"flag":"BLOCK","start":20104,"end":20246,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":27388},"to":{"change":18,"start":911,"end":950},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":950},"to":{"change":7,"start":17,"end":75},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":7,"pos":75},"to":{"change":18,"start":27494,"end":27527},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":18,"pos":112},"to":{"change":18,"start":27494,"end":27527},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":112},"to":{"change":18,"start":27494,"end":27527},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":761},"to":{"change":18,"start":27494,"end":27527},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":27494},"to":{"change":18,"start":27494,"end":27527},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":27527},"to":{"change":7,"start":76,"end":102},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":7,"pos":102},"to":{"change":18,"start":27553,"end":27569},"introduced_by":7},{"previous":"","flag":"DELETED","from":{"change":18,"pos":139},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":149},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":192},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":192},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":785},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":827},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":2438},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":27553},"to":{"change":18,"start":27553,"end":27569},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" edit.text_input(pane, t)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20140"}},{"Add":{"text":" pane._height = nil","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20171"}},{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20221"}},{"Add":{"text":" plan_draw()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20245"}}],"del_contents":[{"Del":{"text":" edit.text_input(pane, t)","pos":"AHOO2ILEJWTPCYHJH26WAF7A4YYVMHFX4UWHSAAAMHI73TSQZ6CAC:949"}},{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC:74"}},{"Del":{"text":" pane._height = nil","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:27526"}},{"Del":{"text":" plan_draw()","pos":"GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC:101"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:27568"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":870,"ins":{"up_context":[{"change":18,"pos":28058}],"down_context":[{"change":18,"pos":28106}],"flag":"BLOCK","start":20247,"end":20289,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":28058},"to":{"change":18,"start":28058,"end":28106},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20288"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:28105"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":916,"ins":{"up_context":[{"change":18,"pos":2524}],"down_context":[{"change":18,"pos":1083}],"flag":"BLOCK","start":20290,"end":20420,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":2524},"to":{"change":18,"start":2524,"end":2624},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":2624},"to":{"change":18,"start":1084,"end":1161},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" elseif not cursor_of_cursor_pane_is_visible() then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20350"}},{"Add":{"text":" -- cursor isn't on screen; treat the keypress as panning","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20419"}}],"del_contents":[{"Del":{"text":" elseif pane.cursor_x == nil then","pos":"VPCPK52KMU4MZUXP4SUSJJDEHDR4C3KJ45HLMUQUK32FMY6OCQ4QC:2566"}},{"Del":{"text":" -- ignore if cursor is not visible on screen","pos":"VPCPK52KMU4MZUXP4SUSJJDEHDR4C3KJ45HLMUQUK32FMY6OCQ4QC:2623"}},{"Del":{"text":" assert(pane.cursor_y == nil, 'cursor x is not set but y is set')","pos":"6OZ32QPUY3AQABJED2YWD3PQVEBZJU2TLV63SLWPXIEFQVQV4QPAC:1160"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":923,"ins":{"up_context":[{"change":15,"pos":655}],"down_context":[{"change":8,"pos":18}],"flag":"BLOCK","start":20421,"end":20452,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":15,"pos":655},"to":{"change":18,"start":314,"end":433},"introduced_by":15},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1181},"to":{"change":18,"start":314,"end":433},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" pane._height = nil","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20451"}}],"del_contents":[{"Del":{"text":"--? print_and_log(('run.keychord_press A %s %d,%d'):format(chord, Display_settings.x, Display_settings.y))","pos":"ZOEN6BOH444OEFJLT4FBRCVPMF7JTOXLLJ2TEQCQBVSGVTDIIYWQC:432"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":925,"atom":{"NewVertex":{"up_context":[{"change":8,"pos":83}],"down_context":[{"change":18,"pos":57}],"flag":"BLOCK","start":20453,"end":20534,"inode":{"change":137,"pos":178044}}},"contents":[{"Add":{"text":" -- deliberately move the viewport rather than following the cursor","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20533"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":927,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":114},"to":{"change":18,"start":434,"end":536},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":195},"to":{"change":18,"start":405,"end":478},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":536},"to":{"change":18,"start":405,"end":478},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":405},"to":{"change":18,"start":405,"end":478},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":318},"to":{"change":18,"start":478,"end":536},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":478},"to":{"change":18,"start":478,"end":536},"introduced_by":18}],"inode":{"change":137,"pos":178044}}},"contents":[{"Del":{"text":" elseif chord == 'backspace' or chord == 'up' or chord == 'left' or chord == 'pageup' then","pos":"ZOEN6BOH444OEFJLT4FBRCVPMF7JTOXLLJ2TEQCQBVSGVTDIIYWQC:535"}},{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('up')","pos":"NP5DODWMHP22MO6Z3B6NYDR7C3DLV2BD4NKT2RFFFOSIDPC3ZPWQC:460"}},{"Del":{"text":" else","pos":"NP5DODWMHP22MO6Z3B6NYDR7C3DLV2BD4NKT2RFFFOSIDPC3ZPWQC:477"}},{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"NP5DODWMHP22MO6Z3B6NYDR7C3DLV2BD4NKT2RFFFOSIDPC3ZPWQC:535"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":928,"ins":{"up_context":[{"change":18,"pos":552}],"down_context":[{"change":18,"pos":553}],"flag":"BLOCK","start":20535,"end":20585,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":18,"pos":286},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":286},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":459},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":503},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":552},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":870},"to":{"change":18,"start":870,"end":901},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":901},"to":{"change":18,"start":537,"end":656},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20584"}}],"del_contents":[{"Del":{"text":" pane._height = nil","pos":"UAX3KJOIN3XBSLKP4IAWAWSCI3DLDKF22A6HRMGA4FHY3AS2QRVAC:900"}},{"Del":{"text":"--? print_and_log(('run.keychord_press Z %s %d,%d'):format(chord, Display_settings.x, Display_settings.y))","pos":"ZOEN6BOH444OEFJLT4FBRCVPMF7JTOXLLJ2TEQCQBVSGVTDIIYWQC:655"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1191,"ins":{"up_context":[{"change":18,"pos":503}],"down_context":[{"change":18,"pos":39251}],"flag":"BLOCK","start":20586,"end":22469,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":18,"pos":503},"to":{"change":18,"start":39201,"end":39251},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":39201},"to":{"change":18,"start":39201,"end":39251},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":"function viewport_on_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20616"}},{"Add":{"text":" local occluded_at_bottom = 0","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20647"}},{"Add":{"text":" if Display_settings.state.id == 'search' then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20695"}},{"Add":{"text":" -- the search bar covers the bottom of the window","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20749"}},{"Add":{"text":" occluded_at_bottom = Text.search_bar_height(Error_log)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20808"}},{"Add":{"text":" end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20814"}},{"Add":{"text":" return Display_settings.x,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20843"}},{"Add":{"text":" Display_settings.y,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20872"}},{"Add":{"text":" App.screen.width,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20899"}},{"Add":{"text":" App.screen.height - Header_height - occluded_at_bottom","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20963"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20967"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:20968"}},{"Add":{"text":"function cursor_rect_on_surface(pane, col, row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21016"}},{"Add":{"text":" return left_edge_sx(col) + Text.x_of_schema1(pane, pane.cursor1),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21084"}},{"Add":{"text":" up_edge_sy(col, row) + y_of_schema1(pane, pane.cursor1),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21150"}},{"Add":{"text":" pane.font:getWidth('m'),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21184"}},{"Add":{"text":" pane.line_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21210"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21214"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21215"}},{"Add":{"text":"function cursor_of_cursor_pane_is_visible()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21259"}},{"Add":{"text":" if Cursor_pane.col < 1 then return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21306"}},{"Add":{"text":" local pane = Surface[Cursor_pane.col][Cursor_pane.row]","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21363"}},{"Add":{"text":" if pane == nil then return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21402"}},{"Add":{"text":" if pane.cursor1 == nil then return false end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21449"}},{"Add":{"text":" local cx, cy, cw, ch = cursor_rect_on_surface(pane, Cursor_pane.col, Cursor_pane.row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21537"}},{"Add":{"text":" local vx, vy, vw, vh = viewport_on_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21584"}},{"Add":{"text":" return cy >= vy and cy + ch <= vy + vh","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21625"}},{"Add":{"text":" and cx >= vx and cx + cw <= vx + vw","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21666"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21670"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21671"}},{"Add":{"text":"-- Move a 1-D viewport [v, v+vlen) the minimum distance needed to fully contain","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21751"}},{"Add":{"text":"-- [lo, lo+len), and don't move it at all if it already does.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21813"}},{"Add":{"text":"--","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21816"}},{"Add":{"text":"-- This is the entire scroll policy. Everything that wants to keep something on","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21896"}},{"Add":{"text":"-- screen goes through here, so that the test for \"is it visible?\" and the fix","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:21975"}},{"Add":{"text":"-- for \"make it visible\" can never drift apart: the fix _is_ the test.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22046"}},{"Add":{"text":"function scroll_to_contain(v, vlen, lo, len)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22091"}},{"Add":{"text":" if len >= vlen then return lo end -- can't fit; show its top","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22176"}},{"Add":{"text":" if lo < v then return lo end -- off the near edge","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22255"}},{"Add":{"text":" if lo + len > v + vlen then return lo + len - vlen end -- off the far edge","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22333"}},{"Add":{"text":" return v -- already fully visible","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22416"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22420"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22421"}},{"Add":{"text":"function bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22468"}}],"del_contents":[{"Del":{"text":"function bring_cursor_of_cursor_pane_in_view(dir)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:39250"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1242,"ins":{"up_context":[{"change":18,"pos":39394}],"down_context":[{"change":18,"pos":40424}],"flag":"BLOCK","start":22470,"end":22500,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":18,"pos":670},"to":{"change":18,"start":39465,"end":39591},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":900},"to":{"change":18,"start":39465,"end":39591},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1177},"to":{"change":18,"start":39465,"end":39591},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":39465},"to":{"change":18,"start":39465,"end":39591},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":39591},"to":{"change":18,"start":1610,"end":1745},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":953},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1197},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1448},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1745},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":3785},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40053},"to":{"change":18,"start":40053,"end":40153},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1008},"to":{"change":18,"start":40192,"end":40424},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1260},"to":{"change":18,"start":40192,"end":40424},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1499},"to":{"change":18,"start":40192,"end":40424},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40192},"to":{"change":18,"start":40192,"end":40424},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" if pane.cursor1 == nil then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22499"}}],"del_contents":[{"Del":{"text":" local left_edge_sx = left_edge_sx(Cursor_pane.col)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:39517"}},{"Del":{"text":" local cursor_sx = left_edge_sx + Text.x_of_schema1(pane, pane.cursor1)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:39590"}},{"Del":{"text":" local vertically_ok = cursor_sx > Display_settings.x and cursor_sx < Display_settings.x + App.screen.width - pane.font:getWidth('m')","pos":"QLG4WQX6Q3G4VHT2S5CGBSIQCMYIVLCVPMETRCS4A7UEV6V5PXFAC:1744"}},{"Del":{"text":" local cursor_sy = up_edge_sy(Cursor_pane.col, Cursor_pane.row) + y_of_schema1(pane, pane.cursor1)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40152"}},{"Del":{"text":" local horizontally_ok = cursor_sy > Display_settings.y and cursor_sy < Display_settings.y + App.screen.height - Header_height - 2*Line_height -- account for search bar along the bottom","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40379"}},{"Del":{"text":" if vertically_ok and horizontally_ok then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40423"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1245,"ins":{"up_context":[{"change":18,"pos":40441}],"down_context":[{"change":9,"pos":18}],"flag":"BLOCK","start":22501,"end":23058,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40441},"to":{"change":18,"start":40441,"end":40669},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40669},"to":{"change":18,"start":1250,"end":1278},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1278},"to":{"change":18,"start":40702,"end":40899},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40702},"to":{"change":18,"start":40702,"end":40899},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":40899},"to":{"change":18,"start":1009,"end":1089},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1089},"to":{"change":18,"start":41052,"end":41158},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1576},"to":{"change":18,"start":41052,"end":41158},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":41052},"to":{"change":18,"start":41052,"end":41158},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":41158},"to":{"change":18,"start":1090,"end":1200},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1200},"to":{"change":18,"start":1279,"end":1434},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1495},"to":{"change":18,"start":41651,"end":41659},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":41651},"to":{"change":18,"start":41651,"end":41659},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" local cursor_sx, cursor_sy, cursor_w, cursor_h = cursor_rect_on_surface(pane, Cursor_pane.col, Cursor_pane.row)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22614"}},{"Add":{"text":" local vx, vy, vw, vh = viewport_on_surface()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22661"}},{"Add":{"text":" -- Horizontally, prefer to bring the whole column into view; a half-visible","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22739"}},{"Add":{"text":" -- column looks broken. Fall back to just the cursor if the column can't fit.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22819"}},{"Add":{"text":" local column_sx = left_edge_sx(Cursor_pane.col) - Margin_left","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22883"}},{"Add":{"text":" local column_w = Margin_left + Display_settings.column_width + Margin_right","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22961"}},{"Add":{"text":" if column_w < vw then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:22985"}},{"Add":{"text":" Display_settings.x = scroll_to_contain(vx, vw, column_sx, column_w)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23057"}}],"del_contents":[{"Del":{"text":" if dir == 'up' then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40462"}},{"Del":{"text":" if not vertically_ok then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40492"}},{"Del":{"text":" Display_settings.x = left_edge_sx - Margin_left - Padding_horizontal","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40567"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40575"}},{"Del":{"text":" if not horizontally_ok then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40607"}},{"Del":{"text":" Display_settings.y = cursor_sy - 3*Line_height","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40660"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40668"}},{"Del":{"text":" elseif dir == 'down' then","pos":"6OZ32QPUY3AQABJED2YWD3PQVEBZJU2TLV63SLWPXIEFQVQV4QPAC:1277"}},{"Del":{"text":" if not vertically_ok then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40731"}},{"Del":{"text":" Display_settings.x = left_edge_sx + Display_settings.column_width + Margin_right + Padding_horizontal - App.screen.width","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40858"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40866"}},{"Del":{"text":" if not horizontally_ok then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:40898"}},{"Del":{"text":"--? print('subtract', App.screen.height, App.screen.height-Header_height)","pos":"3U6YMMN2GMRL27TLPE7V3KUGM6MI2L3SAQSNU6HMNRINVXVRL3QAC:1088"}},{"Del":{"text":" Display_settings.y = cursor_sy + Text.search_bar_height(pane) - (App.screen.height - Header_height)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:41157"}},{"Del":{"text":" -- Bah, temporarily giving up on debugging.","pos":"3U6YMMN2GMRL27TLPE7V3KUGM6MI2L3SAQSNU6HMNRINVXVRL3QAC:1139"}},{"Del":{"text":" Display_settings.y = Display_settings.y + Line_height","pos":"3U6YMMN2GMRL27TLPE7V3KUGM6MI2L3SAQSNU6HMNRINVXVRL3QAC:1199"}},{"Del":{"text":" assert(App.screen.height - (cursor_sy-Display_settings.y) > 1.5*Line_height, 'ugh, ancient bug is back: panning the viewport when cursor falls off')","pos":"6OZ32QPUY3AQABJED2YWD3PQVEBZJU2TLV63SLWPXIEFQVQV4QPAC:1433"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:41658"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1254,"ins":{"up_context":[{"change":9,"pos":25}],"down_context":[{"change":18,"pos":41659}],"flag":"BLOCK","start":23059,"end":23131,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":9,"pos":25},"to":{"change":9,"start":25,"end":75},"introduced_by":9}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" Display_settings.x = scroll_to_contain(vx, vw, cursor_sx, cursor_w)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23130"}}],"del_contents":[{"Del":{"text":" assert(false, ('unknown dir %s'):format(dir))","pos":"CGIILAMTF6MFD4DBCY6CJ5DNSIZQTNWN734GNXTHIZCUTKSXLJGAC:74"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1256,"atom":{"NewVertex":{"up_context":[{"change":18,"pos":41665}],"down_context":[{"change":18,"pos":41742}],"flag":"BLOCK","start":23132,"end":23202,"inode":{"change":137,"pos":178044}}},"contents":[{"Add":{"text":" Display_settings.y = scroll_to_contain(vy, vh, cursor_sy, cursor_h)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23201"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1315,"ins":{"up_context":[{"change":18,"pos":45399}],"down_context":[{"change":18,"pos":45434}],"flag":"BLOCK","start":23203,"end":23368,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":45399},"to":{"change":18,"start":45399,"end":45434},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":"-- y offset of the top of the screen line containing a given (line, pos),","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23276"}},{"Add":{"text":"-- relative to the top edge of the pane.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23317"}},{"Add":{"text":"-- Inverse of schema1_of_y; keep the two in sync.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23367"}}],"del_contents":[{"Del":{"text":"-- y offset of a given (line, pos)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:45433"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1319,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":45467},"to":{"change":18,"start":45467,"end":45588},"introduced_by":18}],"inode":{"change":137,"pos":178044}}},"contents":[{"Del":{"text":"--? print(('updating viewport y; cursor pane starts at %d; screen top is at %d,%d'):format(result, loc.line, loc.pos))","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:45587"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1327,"ins":{"up_context":[{"change":18,"pos":45770}],"down_context":[{"change":18,"pos":45826}],"flag":"BLOCK","start":23369,"end":23508,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":45770},"to":{"change":18,"start":45770,"end":45826},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" -- schema1_of_y can return a loc just past the final line","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23428"}},{"Add":{"text":" local final_line = math.min(loc.line-1, #pane.lines)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23483"}},{"Add":{"text":" for i=1,final_line do","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23507"}}],"del_contents":[{"Del":{"text":" for i=1,loc.line-1 do","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:45793"}},{"Del":{"text":"--? print('', 'd', i, result)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:45825"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1331,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":45878},"to":{"change":18,"start":45878,"end":45969},"introduced_by":18}],"inode":{"change":137,"pos":178044}}},"contents":[{"Del":{"text":"--? print('', '', #pane.line_cache[i].screen_line_starting_pos, pane.left, pane.right)","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:45968"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1333,"ins":{"up_context":[{"change":18,"pos":46041}],"down_context":[{"change":18,"pos":46087}],"flag":"BLOCK","start":23509,"end":23583,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":46041},"to":{"change":18,"start":46041,"end":46087},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" if loc.line <= #pane.lines and pane.lines[loc.line].mode == 'text' then","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23582"}}],"del_contents":[{"Del":{"text":" if pane.lines[loc.line].mode == 'text' then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46086"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1335,"ins":{"up_context":[{"change":18,"pos":46146}],"down_context":[{"change":18,"pos":46364}],"flag":"BLOCK","start":23584,"end":23983,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":46146},"to":{"change":18,"start":46146,"end":46364},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" -- Count the screen lines strictly _above_ the cursor's own screen line.","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23660"}},{"Add":{"text":" -- (Naively summing every screen line that starts before loc.pos also","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23734"}},{"Add":{"text":" -- counts the cursor's own screen line, which starts before it too.)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23807"}},{"Add":{"text":" local screen_line_index = Text.screen_line_index(pane.line_cache[loc.line].screen_line_starting_pos, loc.pos)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23921"}},{"Add":{"text":" result = result + (screen_line_index-1)*pane.line_height","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:23982"}}],"del_contents":[{"Del":{"text":" for i,screen_line_starting_pos in ipairs(pane.line_cache[loc.line].screen_line_starting_pos) do","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46245"}},{"Del":{"text":" if screen_line_starting_pos >= loc.pos then","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46295"}},{"Del":{"text":" break","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46309"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46319"}},{"Del":{"text":" result = result + Line_height","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46355"}},{"Del":{"text":" end","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46363"}}]}},{"Edit":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1341,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":46370},"to":{"change":18,"start":46370,"end":46417},"introduced_by":18}],"inode":{"change":137,"pos":178044}}},"contents":[{"Del":{"text":"--? print(('viewport at %d'):format(result))","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:46416"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1371,"ins":{"up_context":[{"change":18,"pos":47808}],"down_context":[{"change":18,"pos":47856}],"flag":"BLOCK","start":23984,"end":24026,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":47808},"to":{"change":18,"start":47808,"end":47856},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24025"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:47855"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1384,"ins":{"up_context":[{"change":18,"pos":48411}],"down_context":[{"change":18,"pos":48459}],"flag":"BLOCK","start":24027,"end":24069,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":48411},"to":{"change":18,"start":48411,"end":48459},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24068"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:48458"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1393,"ins":{"up_context":[{"change":18,"pos":48757}],"down_context":[{"change":18,"pos":48807}],"flag":"BLOCK","start":24070,"end":24116,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":48757},"to":{"change":18,"start":48757,"end":48807},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24115"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('up')","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:48806"}}]}},{"Replacement":{"inode":{"change":137,"pos":178044},"path":"run.lua","line":1404,"ins":{"up_context":[{"change":18,"pos":49102}],"down_context":[{"change":18,"pos":49154}],"flag":"BLOCK","start":24117,"end":24163,"inode":{"change":137,"pos":178044}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":49102},"to":{"change":18,"start":49102,"end":49154},"introduced_by":18}],"inode":{"change":137,"pos":178044}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24162"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC:49153"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":85,"atom":{"NewVertex":{"up_context":[{"change":139,"pos":82}],"down_context":[{"change":18,"pos":3183}],"flag":"BLOCK","start":24164,"end":24218,"inode":{"change":18,"pos":413}}},"contents":[{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24164"}},{"Add":{"text":" -- Hacky escape hatch","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24190"}},{"Add":{"text":" scrolls_itself = true,","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24217"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":399,"atom":{"NewVertex":{"up_context":[{"change":140,"pos":5593}],"down_context":[{"change":141,"pos":170}],"flag":"BLOCK","start":24219,"end":24348,"inode":{"change":18,"pos":413}}},"contents":[{"Add":{"text":" edit.text_input_without_scroll(State, t)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24261"}},{"Add":{"text":" Text.scroll_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24292"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24296"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24297"}},{"Add":{"text":"function edit.text_input_without_scroll(State, t)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24347"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":424,"atom":{"NewVertex":{"up_context":[{"change":142,"pos":3715}],"down_context":[{"change":17,"pos":965}],"flag":"BLOCK","start":24349,"end":24546,"inode":{"change":18,"pos":413}}},"contents":[{"Add":{"text":" edit.keychord_press_without_scroll(State, chord, key, scancode, is_repeat)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24425"}},{"Add":{"text":" Text.scroll_to_cursor(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24456"}},{"Add":{"text":"end","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24460"}},{"Add":{"text":"","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24461"}},{"Add":{"text":"function edit.keychord_press_without_scroll(State, chord, key, scancode, is_repeat)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24545"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":486,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":12393},"to":{"change":18,"start":15,"end":65},"introduced_by":18}],"inode":{"change":18,"pos":413}}},"contents":[{"Del":{"text":" local screen_top_before = State.screen_top1","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:64"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":491,"atom":{"NewVertex":{"up_context":[{"change":18,"pos":8139}],"down_context":[{"change":18,"pos":15}],"flag":"BLOCK","start":24547,"end":24576,"inode":{"change":18,"pos":413}}},"contents":[{"Add":{"text":" Text.redraw_all(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24575"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":500,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":12874},"to":{"change":18,"start":402,"end":452},"introduced_by":18}],"inode":{"change":18,"pos":413}}},"contents":[{"Del":{"text":" local screen_top_before = State.screen_top1","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:451"}}]}},{"Replacement":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":505,"ins":{"up_context":[{"change":18,"pos":8421}],"down_context":[{"change":18,"pos":207}],"flag":"BLOCK","start":24577,"end":24606,"inode":{"change":18,"pos":413}},"del":{"edges":[{"previous":"","flag":"DELETED","from":{"change":18,"pos":103},"to":{"change":18,"start":453,"end":537},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":8421},"to":{"change":18,"start":453,"end":537},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":537},"to":{"change":13,"start":101,"end":201},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":201},"to":{"change":18,"start":537,"end":788},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":537},"to":{"change":18,"start":537,"end":788},"introduced_by":18}],"inode":{"change":18,"pos":413}},"ins_contents":[{"Add":{"text":" Text.redraw_all(State)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24605"}}],"del_contents":[{"Del":{"text":" -- make sure cursor remains in view (particularly so we can continue undoing)","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:536"}},{"Del":{"text":" Text.redraw_all(State) -- make line_cache consistent for Text.cursor_out_of_screen/edit.draw","pos":"I2MXOJ3KK4F6NJ5RDDTBPT3CVRLY562O3REAOWMTIDSJXUDS3JLQC:200"}},{"Del":{"text":" if Text.cursor_out_of_screen(State) then","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:583"}},{"Del":{"text":" if Text.lt1(screen_top_before, State.screen_top1) then","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:646"}},{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:700"}},{"Del":{"text":" else","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:713"}},{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('up')","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:765"}},{"Del":{"text":" end","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:777"}},{"Del":{"text":" end","pos":"UYW6HFDJQRBSRYKNMKRRSUETN4FPAGQ7HHLMHESJ232CMS6PNCXAC:787"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":527,"atom":{"EdgeMap":{"edges":[{"previous":"","flag":"DELETED","from":{"change":3,"pos":230},"to":{"change":18,"start":13768,"end":13904},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1249},"to":{"change":18,"start":13768,"end":13904},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":17,"pos":1515},"to":{"change":18,"start":13768,"end":13904},"introduced_by":17},{"previous":"","flag":"DELETED","from":{"change":18,"pos":8768},"to":{"change":18,"start":13768,"end":13904},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":105015},"to":{"change":18,"start":13768,"end":13904},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":13768},"to":{"change":18,"start":13768,"end":13904},"introduced_by":18}],"inode":{"change":18,"pos":413}}},"contents":[{"Del":{"text":" -- We don't have a good sense of when to scroll, so we'll be conservative","pos":"2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC:13845"}},{"Del":{"text":" -- and sometimes scroll when we didn't quite need to.","pos":"2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC:13903"}}]}},{"Edit":{"inode":{"change":18,"pos":413},"path":"edit.lua","line":538,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":14227},"to":{"change":18,"start":326,"end":371},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":371},"to":{"change":18,"start":338,"end":338},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":338},"to":{"change":18,"start":23041,"end":23116},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":360},"to":{"change":18,"start":23041,"end":23116},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":371},"to":{"change":18,"start":23041,"end":23116},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1331},"to":{"change":18,"start":23041,"end":23116},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":1438},"to":{"change":18,"start":14360,"end":14368},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":8913},"to":{"change":18,"start":14360,"end":14368},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":23116},"to":{"change":18,"start":14360,"end":14368},"introduced_by":18},{"previous":"","flag":"DELETED","from":{"change":18,"pos":105181},"to":{"change":18,"start":14360,"end":14368},"introduced_by":18},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":14360},"to":{"change":18,"start":14360,"end":14368},"introduced_by":18}],"inode":{"change":18,"pos":413}}},"contents":[{"Del":{"text":" if Text.cursor_out_of_screen(State) then","pos":"AXDEFUKT3MCCN4JIWR7MKDE272YVJUFYUNSAHEY2WBI3D4BIA5RAC:370"}},{"Del":{"text":"","pos":"GO4OXDP4USUBN2UGNY2ZZEUZE3NG52F3T5CZ76H7VQ23Q4CQOSJAC:338"}},{"Del":{"text":" Text.snap_cursor_to_bottom_of_screen(State, State.left, State.right)","pos":"UHB4GARJI5AB5UCDCZRFSCJNXGJSLU5DYGUGX5ITYEXI7Q43Z4CAC:23115"}},{"Del":{"text":" end","pos":"2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC:14367"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":628,"atom":{"NewVertex":{"up_context":[{"change":144,"pos":811}],"down_context":[{"change":144,"pos":811}],"flag":"BLOCK","start":24607,"end":24647,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24646"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":643,"atom":{"NewVertex":{"up_context":[{"change":14,"pos":328}],"down_context":[{"change":14,"pos":328}],"flag":"BLOCK","start":24648,"end":24715,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" pane.scrolls_itself = true","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24680"}},{"Add":{"text":" Text.scroll_to_cursor(pane)","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24714"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":655,"atom":{"NewVertex":{"up_context":[{"change":145,"pos":2794}],"down_context":[{"change":145,"pos":2794}],"flag":"BLOCK","start":24716,"end":24750,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" pane.scrolls_itself = false","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24749"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":657,"atom":{"NewVertex":{"up_context":[{"change":145,"pos":2826}],"down_context":[{"change":145,"pos":2826}],"flag":"BLOCK","start":24751,"end":24795,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24794"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":670,"atom":{"NewVertex":{"up_context":[{"change":146,"pos":96}],"down_context":[{"change":2,"pos":52}],"flag":"BLOCK","start":24796,"end":24836,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24835"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":759,"ins":{"up_context":[{"change":6,"pos":525}],"down_context":[{"change":6,"pos":605}],"flag":"BLOCK","start":24837,"end":24877,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":559},"to":{"change":6,"start":559,"end":605},"introduced_by":6}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24876"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"XD43MI5HTDBO7HD4D2KD4U3UUAOJEMDVSJXJR54ZPW2FHCFB7X5AC:604"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1077,"ins":{"up_context":[{"change":18,"pos":1054}],"down_context":[{"change":18,"pos":1138}],"flag":"BLOCK","start":24878,"end":24920,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1090},"to":{"change":18,"start":1090,"end":1138},"introduced_by":18}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24919"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"WO73G45YHL27GXZIQRLFPMIZSOTO7UOUXPOFKBP7APKYLEGYHL7AC:1137"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1083,"ins":{"up_context":[{"change":18,"pos":1330}],"down_context":[{"change":18,"pos":1412}],"flag":"BLOCK","start":24921,"end":24963,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1366},"to":{"change":18,"start":1366,"end":1412},"introduced_by":18}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:24962"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('up')","pos":"WO73G45YHL27GXZIQRLFPMIZSOTO7UOUXPOFKBP7APKYLEGYHL7AC:1411"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1385,"atom":{"NewVertex":{"up_context":[{"change":147,"pos":260}],"down_context":[{"change":148,"pos":2384}],"flag":"BLOCK","start":24964,"end":25004,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25003"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1468,"ins":{"up_context":[{"change":18,"pos":480}],"down_context":[{"change":18,"pos":564}],"flag":"BLOCK","start":25005,"end":25047,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":516},"to":{"change":18,"start":516,"end":564},"introduced_by":18}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25046"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"UKZIR47FDIFP7TJYR3AKQSL4UAJD47W3MMXDQTMZQDLICXTZ4BVAC:563"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1477,"ins":{"up_context":[{"change":18,"pos":1047}],"down_context":[{"change":18,"pos":1131}],"flag":"BLOCK","start":25048,"end":25090,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1083},"to":{"change":18,"start":1083,"end":1131},"introduced_by":18}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25089"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('down')","pos":"UKZIR47FDIFP7TJYR3AKQSL4UAJD47W3MMXDQTMZQDLICXTZ4BVAC:1130"}}]}},{"Replacement":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1482,"ins":{"up_context":[{"change":18,"pos":1253}],"down_context":[{"change":18,"pos":1299}],"flag":"BLOCK","start":25091,"end":25133,"inode":{"change":143,"pos":39}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":18,"pos":1253},"to":{"change":18,"start":1253,"end":1299},"introduced_by":18}],"inode":{"change":143,"pos":39}},"ins_contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25132"}}],"del_contents":[{"Del":{"text":" bring_cursor_of_cursor_pane_in_view('up')","pos":"UKZIR47FDIFP7TJYR3AKQSL4UAJD47W3MMXDQTMZQDLICXTZ4BVAC:1298"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1508,"atom":{"NewVertex":{"up_context":[{"change":149,"pos":1244}],"down_context":[{"change":148,"pos":2414}],"flag":"BLOCK","start":25134,"end":25174,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25173"}}]}},{"Edit":{"inode":{"change":143,"pos":39},"path":"commands.lua","line":1650,"atom":{"NewVertex":{"up_context":[{"change":150,"pos":335}],"down_context":[{"change":151,"pos":988}],"flag":"BLOCK","start":25175,"end":25215,"inode":{"change":143,"pos":39}}},"contents":[{"Add":{"text":" bring_cursor_of_cursor_pane_in_view()","pos":"3P6XF57EQO4NSLCK27TBKEWDMILJVSP3MQYRDPENXH63FRTKR5DAC:25214"}}]}}],"owner":"akkartik","repo":"techmeet.love","token":"czhAWYdolUjukn7ugUfvKBqWo7FTXTsaEf8o+v71UkI=","login":null}

…

Dependencies

Change contents

Review