source: show file being edited in window title bar

2023-09-15 13:36:27 -07:00 · 2023-09-15 13:36:27 -07:00 · 715c6fd32f
parent 6ed60848a4
commit 715c6fd32f
2 changed files with 2 additions and 1 deletions
--- a/commands.lua
+++ b/commands.lua
@ -130,6 +130,7 @@ end
 function navigate_to_file(s)
  move_candidate_to_front(s)
  source.switch_to_file(s..'.lua')
+  love.window.setTitle('lines.love - source - '..Editor_state.filename)
  reset_file_navigator()
 end

--- a/source.lua
+++ b/source.lua
@ -74,7 +74,7 @@ function source.initialize()


  -- keep a few blank lines around: https://merveilles.town/@akkartik/110084833821965708
-  love.window.setTitle('lines.love - source')
+  love.window.setTitle('lines.love - source - '..Editor_state.filename)