diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2023-03-25 11:30:25 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2023-03-25 11:30:25 -0700 |
| commit | 1bd2846ec2d937e380e6456b359066c488832fdc (patch) | |
| tree | 8b93358cfbb033ed3c08e77dc4d4cb1bbaf88508 | |
| parent | aa8994167f06680beba998a08e8f4d782537d540 (diff) | |
| parent | 0b1c47f79f71a9af77d042497c72d89a8d616ea2 (diff) | |
| download | view.love-1bd2846ec2d937e380e6456b359066c488832fdc.tar.gz | |
Merge lines.love
| -rw-r--r-- | run.lua | 13 | ||||
| -rw-r--r-- | source.lua | 14 |
2 files changed, 27 insertions, 0 deletions
diff --git a/run.lua b/run.lua index ea96a76..139f814 100644 --- a/run.lua +++ b/run.lua @@ -33,8 +33,14 @@ function run.initialize(arg) Text.redraw_all(Editor_state) end edit.check_locs(Editor_state) + + + + -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708 love.window.setTitle('text.love - '..Editor_state.filename) + + if #arg > 1 then print('ignoring commandline args after '..arg[1]) end @@ -117,7 +123,14 @@ function run.file_drop(file) file:close() Text.redraw_all(Editor_state) edit.check_locs(Editor_state) + + + + -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708 love.window.setTitle('text.love - '..Editor_state.filename) + + + end function run.draw() diff --git a/source.lua b/source.lua index 7621d6b..9452e6b 100644 --- a/source.lua +++ b/source.lua @@ -72,7 +72,14 @@ function source.initialize() Menu_status_bar_height = 5 + Editor_state.line_height + 5 Editor_state.top = Editor_state.top + Menu_status_bar_height Log_browser_state.top = Log_browser_state.top + Menu_status_bar_height + + + + -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708 love.window.setTitle('text.love - source') + + + end -- environment for a mutable file @@ -218,7 +225,14 @@ function source.file_drop(file) Text.redraw_all(Editor_state) Editor_state.screen_top1 = {line=1, pos=1} Editor_state.cursor1 = {line=1, pos=1} + + + + -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708 love.window.setTitle('text.love - source') + + + end -- a copy of source.file_drop when given a filename |