{"header":{"message":"pan by gripping the surface anywhere outside panes","description":null,"timestamp":"2022-07-17T02:56:06Z","authors":[{"email":"vc@akkartik.com","name":"Kartik K. Agaram"}]},"hash":"X22MOJHFLXMZQJN4IP2HAXIIVD2ALPR4EO5V5YDYF6QPXS7ZNB6QC","authors":[],"deps":{"hashes":[["X22MOJHFLXMZQJN4IP2HAXIIVD2ALPR4EO5V5YDYF6QPXS7ZNB6QC","pan by gripping the surface anywhere outside panes"],["AA",null],["J3ER7DFO2TXYUMJAXZUFEHQNLFDNIXSYDTE7HEFGQ2RYB3A6RFPAC","show top screen of multiple read-only panes"],["3ZTODUBQ727WK7NTCYBCEBBL4ASOQ6FB37GZM6W3SSTN5FEKGQHAC","formatting"],["BYG5CEMVXANDTBI2ORNVMEY6K3EBRIHZHS4QBK27VONJC5537COQC","support for naming points"],["MHOUX5JFGBFYMOULX3NZA2JXH6PF2227DT54EEXLBUZQFO7NDI2AC","experiment: turn off JIT"],["AOIRVVJARCGTWTRE5MAAU4YQAGD5J4HTR7XCS63UFAUY3A43L6NQC","revert selection logic to before commit 3ffc2ed8f"],["PTDO2SOTXEI6FROZ2AVRFXSKKNKCRMPPTQSI5LWD45UVGDJPMSGQC","add state arg to schedule_save"],["AVLAYODPMKCDBUFJSTGNUXIK74V3NDCBH55DBBFTNVBMFY6I7BCAC","much simpler"],["2ENZW7TVCS47BWCA4AIEVGKGMT4Y2TSM5IJ7O5K2VSWNXIN3SG4QC","select text using mouse drag"],["LNUHQOGHIOFGJXNGA3DZLYEASLYYDGLN2I3EDZY5ANASQAHCG3YQC","start passing in Editor_state explicitly"],["AVTNUQYRBW7IX2YQ3KDLVQ23RGW3BAKTAE7P73ASBYNKOHMQMH5AC","basic test-enabled framework"],["LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC","group all editor globals"],["OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC","love2d scaffold"],["6DE7RBZ6RHNEICJ7EUMCTROK43LW4LYINULIF2QEQOKCXWLUYUXAC","move mouse_released events to Drawing"],["4BX4GJEWW7Z5LA4SJUXADYLAHOYFL4IBOYH4J4DJYRAVKKGGFHGQC","experiment: pan editor on a larger surface"],["2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC","experiment: new edit namespace"],["MTJEVRJR5GLWUSK7HMIM4UXM6GS6O6YCRWJT3DUSU2RYMHCQNOEQC","add state arg to a few functions"]],"deps":["J3ER7DFO2TXYUMJAXZUFEHQNLFDNIXSYDTE7HEFGQ2RYB3A6RFPAC","3ZTODUBQ727WK7NTCYBCEBBL4ASOQ6FB37GZM6W3SSTN5FEKGQHAC"],"known":["OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC","6DE7RBZ6RHNEICJ7EUMCTROK43LW4LYINULIF2QEQOKCXWLUYUXAC","BYG5CEMVXANDTBI2ORNVMEY6K3EBRIHZHS4QBK27VONJC5537COQC","AVTNUQYRBW7IX2YQ3KDLVQ23RGW3BAKTAE7P73ASBYNKOHMQMH5AC","2ENZW7TVCS47BWCA4AIEVGKGMT4Y2TSM5IJ7O5K2VSWNXIN3SG4QC","MHOUX5JFGBFYMOULX3NZA2JXH6PF2227DT54EEXLBUZQFO7NDI2AC","AVLAYODPMKCDBUFJSTGNUXIK74V3NDCBH55DBBFTNVBMFY6I7BCAC","AOIRVVJARCGTWTRE5MAAU4YQAGD5J4HTR7XCS63UFAUY3A43L6NQC","2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC","LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC","LNUHQOGHIOFGJXNGA3DZLYEASLYYDGLN2I3EDZY5ANASQAHCG3YQC","PTDO2SOTXEI6FROZ2AVRFXSKKNKCRMPPTQSI5LWD45UVGDJPMSGQC","MTJEVRJR5GLWUSK7HMIM4UXM6GS6O6YCRWJT3DUSU2RYMHCQNOEQC","4BX4GJEWW7Z5LA4SJUXADYLAHOYFL4IBOYH4J4DJYRAVKKGGFHGQC"]},"hunks":[{"Edit":{"inode":{"change":4,"pos":2},"path":"main.lua","line":87,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3171},"to":{"change":2,"start":3171,"end":3248},"introduced_by":2}],"inode":{"change":4,"pos":2}}},"contents":[{"Del":" table.insert(column, initialize_pane_with_placeholder_coordinates('foo2'))\n"}]}},{"Edit":{"inode":{"change":4,"pos":2},"path":"main.lua","line":174,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":5902}],"down_context":[{"change":2,"pos":5902}],"flag":"BLOCK","start":8,"end":356,"inode":{"change":4,"pos":2}}},"contents":[{"Add":"--? love.graphics.setColor(0,0,1)"},{"Add":"--? love.graphics.line(pane.left, pane.top, pane.left + Display_settings.column_width, pane.top)"},{"Add":"--? love.graphics.line(pane.left, pane.top + Cache[pane.id].height - Padding_vertical*2, pane.left + Display_settings.column_width, pane.top + Cache[pane.id].height - Padding_vertical*2)"}]}},{"Replacement":{"inode":{"change":4,"pos":2},"path":"main.lua","line":205,"ins":{"up_context":[{"change":4,"pos":135}],"down_context":[{"change":2,"pos":7626}],"flag":"BLOCK","start":357,"end":1846,"inode":{"change":4,"pos":2}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":135},"to":{"change":2,"start":6494,"end":7626},"introduced_by":2}],"inode":{"change":4,"pos":2}},"ins_contents":[{"Add":"function App.update(dt)"},{"Add":" Cursor_time = Cursor_time + dt"},{"Add":" -- some hysteresis while resizing"},{"Add":" if Last_resize_time then"},{"Add":" if App.getTime() - Last_resize_time < 0.1 then"},{"Add":" return"},{"Add":" else"},{"Add":" Last_resize_time = nil"},{"Add":" end"},{"Add":" end"},{"Add":" if App.mouse_y() < Header_height then"},{"Add":" -- column header"},{"Add":" love.mouse.setCursor(love.mouse.getSystemCursor('arrow'))"},{"Add":" elseif in_pane(App.mouse_x(), App.mouse_y()) then"},{"Add":" love.mouse.setCursor(love.mouse.getSystemCursor('arrow'))"},{"Add":" else"},{"Add":" love.mouse.setCursor(love.mouse.getSystemCursor('hand'))"},{"Add":" end"},{"Add":" if Pan.x then"},{"Add":" Display_settings.x = math.max(Pan.x-App.mouse_x(), 0)"},{"Add":" Display_settings.y = math.max(Pan.y-App.mouse_y(), 0)"},{"Add":" end"},{"Add":"end"},{"Add":""},{"Add":"function in_pane(x,y)"},{"Add":" local sx,sy = to_surface(x,y)"},{"Add":" local x = Gutter_width + Padding_horizontal"},{"Add":" for column_idx, column in ipairs(Surface) do"},{"Add":" if sx < x then"},{"Add":" return false"},{"Add":" end"},{"Add":" if sx < x + Margin_left + Display_settings.column_width + Margin_right then"},{"Add":" local y = Margin_top"},{"Add":" for pane_idx, pane in ipairs(column) do"},{"Add":" if sy < y then"},{"Add":" return false"},{"Add":" end"},{"Add":" if sy < y + Cache[pane.id].height - Padding_vertical*2 then"},{"Add":" return true"},{"Add":" end"},{"Add":" y = y + Cache[pane.id].height"},{"Add":" end"},{"Add":" end"},{"Add":" x = x + Margin_left + Display_settings.column_width + Margin_right + Padding_horizontal + Gutter_width + Padding_horizontal"},{"Add":" end"},{"Add":" return false"},{"Add":"end"},{"Add":""},{"Add":"function to_surface(x, y)"},{"Add":" return x+Display_settings.x, y+Display_settings.y"},{"Add":"end"},{"Add":""}],"del_contents":[{"Del":"--? function App.update(dt)\n--? Cursor_time = Cursor_time + dt\n--? -- some hysteresis while resizing\n--? if Last_resize_time then\n--? if App.getTime() - Last_resize_time < 0.1 then\n--? return\n--? else\n--? Last_resize_time = nil\n--? end\n--? end\n--? if App.mouse_x() >= Editor_state.left-Margin_left and App.mouse_x() < Editor_state.right+Margin_right then\n--? love.mouse.setCursor(love.mouse.getSystemCursor('arrow'))\n--? edit.update(Editor_state, dt)\n--? else\n--? love.mouse.setCursor(love.mouse.getSystemCursor('hand'))\n--? end\n--? if Pan.x then\n--? Editor_state.left = Margin_left - math.max(Pan.x-App.mouse_x(), 0)\n--? Editor_state.right = 400 + Margin_right - math.max(Pan.x-App.mouse_x(), 0)\n--? Editor_state.width = Editor_state.right - Editor_state.left\n--? Editor_state.top = Margin_top - math.max(Pan.y-App.mouse_y(), 0)\n--? --? Display_settings.x = math.max(Pan.x-App.mouse_x(), 0)\n--? --? Display_settings.y = math.max(Pan.y-App.mouse_y(), 0)\n--? --? App.mouse_move(Pan.x-Display_settings.x, Pan.y-Display_settings.y)\n--? end\n--? end\n--? \n"}]}},{"Edit":{"inode":{"change":4,"pos":2},"path":"main.lua","line":272,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":8314},"to":{"change":2,"start":8314,"end":9000},"introduced_by":2}],"inode":{"change":4,"pos":2}}},"contents":[{"Del":"--? end\n--? \n--? function App.mousepressed(x,y, mouse_button)\n--? Cursor_time = 0 -- ensure cursor is visible immediately after it moves\n--? if x >= Editor_state.left - Margin_left and x < Editor_state.right + Margin_right then\n--? return edit.mouse_pressed(Editor_state, x,y, mouse_button)\n--? else\n--? Pan = {x=x, y=y}\n--? end\n--? end\n--? \n--? function App.mousereleased(x,y, mouse_button)\n--? Cursor_time = 0 -- ensure cursor is visible immediately after it moves\n--? if x >= Editor_state.left - Margin_left and x < Editor_state.right + Margin_right then\n--? return edit.mouse_released(Editor_state, x,y, mouse_button)\n--? else\n--? Pan = {}\n--? end\n"}]}},{"Replacement":{"inode":{"change":4,"pos":2},"path":"main.lua","line":273,"ins":{"up_context":[{"change":2,"pos":9008}],"down_context":[{"change":2,"pos":9013}],"flag":"BLOCK","start":1847,"end":2356,"inode":{"change":4,"pos":2}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":9008},"to":{"change":2,"start":9008,"end":9013},"introduced_by":2}],"inode":{"change":4,"pos":2}},"ins_contents":[{"Add":""},{"Add":"function App.mousepressed(x,y, mouse_button)"},{"Add":" Cursor_time = 0 -- ensure cursor is visible immediately after it moves"},{"Add":" Selection_first = {}"},{"Add":" Selection_second = {}"},{"Add":" Pan = {}"},{"Add":" if y < Margin_top then"},{"Add":" -- column headers currently not interactable"},{"Add":" return"},{"Add":" end"},{"Add":" local sx,sy = to_surface(x,y)"},{"Add":" if not in_pane(x,y) then"},{"Add":" Pan = {x=sx, y=sy}"},{"Add":" return"},{"Add":" end"},{"Add":"end"},{"Add":""},{"Add":"function App.mousereleased(x,y, mouse_button)"},{"Add":" Cursor_time = 0 -- ensure cursor is visible immediately after it moves"},{"Add":" Pan = {}"},{"Add":"end"},{"Add":""}],"del_contents":[{"Del":"--? \n"}]}},{"Replacement":{"inode":{"change":4,"pos":413},"path":"edit.lua","line":135,"ins":{"up_context":[{"change":4,"pos":4442}],"down_context":[{"change":4,"pos":3392}],"flag":"BLOCK","start":2364,"end":3149,"inode":{"change":4,"pos":413}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4442},"to":{"change":4,"start":4442,"end":4470},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4470},"to":{"change":4,"start":1908,"end":2034},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2034},"to":{"change":4,"start":4565,"end":4595},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4565},"to":{"change":4,"start":4565,"end":4595},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4595},"to":{"change":4,"start":2038,"end":2118},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":2118},"to":{"change":4,"start":3139,"end":3391},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4668},"to":{"change":4,"start":3139,"end":3391},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":3391},"to":{"change":4,"start":4896,"end":4921},"introduced_by":4},{"previous":"","flag":"DELETED","from":{"change":4,"pos":98854},"to":{"change":4,"start":4896,"end":4921},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4896},"to":{"change":4,"start":4896,"end":4921},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":4921},"to":{"change":4,"start":206,"end":248},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":248},"to":{"change":4,"start":2119,"end":2241},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":2241},"to":{"change":3,"start":15,"end":39},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":3,"pos":39},"to":{"change":4,"start":5089,"end":5098},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":4,"pos":5089},"to":{"change":4,"start":5089,"end":5098},"introduced_by":4}],"inode":{"change":4,"pos":413}},"ins_contents":[{"Add":" if State.show_cursor then"},{"Add":" button('draw', {x=State.left - Margin_left + 4,y=y+4, w=12,h=12, color={1,1,0},"},{"Add":"--? icon = icon.insert_drawing, -- TODO"},{"Add":" onpress1 = function()"},{"Add":" Drawing.before = snapshot(State, line_index-1, line_index)"},{"Add":" table.insert(State.lines, line_index, {mode='drawing', y=y, h=256/2, points={}, shapes={}, pending={}})"},{"Add":" if State.cursor1.line >= line_index then"},{"Add":" State.cursor1.line = State.cursor1.line+1"},{"Add":" end"},{"Add":" schedule_save(State)"},{"Add":" record_undo_event(State, {before=Drawing.before, after=snapshot(State, line_index-1, line_index+1)})"},{"Add":" end,"},{"Add":" })"},{"Add":" end"}],"del_contents":[{"Del":" -- insert new drawing\n"},{"Del":" button('draw', {x=State.left - Margin_left + 4,y=y+4, w=12,h=12, color={1,1,0},\n--? icon = icon.insert_drawing,\n"},{"Del":" onpress1 = function()\n"},{"Del":" Drawing.before = snapshot(State, line_index-1, line_index)\n"},{"Del":" table.insert(State.lines, line_index, {mode='drawing', y=y, h=256/2, points={}, shapes={}, pending={}})\n if State.cursor1.line >= line_index then\n State.cursor1.line = State.cursor1.line+1\n"},{"Del":" end\n"},{"Del":" schedule_save(State)\n"},{"Del":" record_undo_event(State, {before=Drawing.before, after=snapshot(State, line_index-1, line_index+1)})\n"},{"Del":" end,\n"},{"Del":" })\n"}]}}],"owner":"akkartik","repo":"pensieve.love","token":"gVUs9QgcP+m9jWRVG4RvXgMhapLxd/G2LeehJYdAYPU=","login":null}

…

Dependencies

Change contents