about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2023-03-25 10:34:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2023-03-25 10:36:43 -0700
commit0b1c47f79f71a9af77d042497c72d89a8d616ea2 (patch)
treef7ae4338a4d5d11d8dce25769c0dc00ca1dcbfbf
parenta6dcfc5ac862637719b35c0fda137fdb4015c540 (diff)
downloadtext.love-0b1c47f79f71a9af77d042497c72d89a8d616ea2.tar.gz
experiment at avoiding some merge conflicts
https://merveilles.town/@akkartik/110084833821965708
-rw-r--r--run.lua13
-rw-r--r--source.lua14
2 files changed, 27 insertions, 0 deletions
diff --git a/run.lua b/run.lua
index 17477ea..f68efa4 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('lines.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('lines.love - '..Editor_state.filename)
+
+
+
 end
 
 function run.draw()
diff --git a/source.lua b/source.lua
index 462985c..2413eb0 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('lines.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('lines.love - source')
+
+
+
 end
 
 -- a copy of source.file_drop when given a filename