diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2022-09-06 10:05:20 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2022-09-06 10:05:20 -0700 |
| commit | 73fefa7d0961d3831da6c8b2eb7b1b05e3614a69 (patch) | |
| tree | 281ecb58e135e854cde4b3aa53f5984ce9aa37fb /text.lua | |
| parent | 516944b57215db43e20678b7462a46c1beae99ea (diff) | |
| download | lines.love-73fefa7d0961d3831da6c8b2eb7b1b05e3614a69.tar.gz | |
support selections in the source editor
I've only tested side A so far, and included a statement of how I want side B to behave.
Diffstat (limited to 'text.lua')
| -rw-r--r-- | text.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/text.lua b/text.lua index 6be260d..9720bfa 100644 --- a/text.lua +++ b/text.lua @@ -931,7 +931,6 @@ end -- resize helper function Text.tweak_screen_top_and_cursor(State) ---? print('a', State.selection1.line) if State.screen_top1.pos == 1 then return end Text.populate_screen_line_starting_pos(State, State.screen_top1.line) local line = State.lines[State.screen_top1.line] |