diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-03-25 11:39:14 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-03-25 11:39:14 -0700 |
commit | dd3efa3b689d322c8a1ba0a4215b458a62206a90 (patch) | |
tree | 359ffd3e2416afaded85771dec0d5ec7910f94f3 /source.lua | |
parent | 5a198d5f96aedc49aa28171e8e9312ae805eb035 (diff) | |
parent | 1bd2846ec2d937e380e6456b359066c488832fdc (diff) | |
download | view.love-dd3efa3b689d322c8a1ba0a4215b458a62206a90.tar.gz |
Merge text.love
Diffstat (limited to 'source.lua')
-rw-r--r-- | source.lua | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/source.lua b/source.lua index 5e69a60..e28fdaf 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('view.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('view.love - source') + + + end -- a copy of source.file_drop when given a filename |