diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-09-15 13:36:27 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-09-15 13:36:27 -0700 |
commit | 715c6fd32fadf8b14f4755cc31bacfb21c7f7dac (patch) | |
tree | bcca6e4bf4d9ca3d6917a3e9ac8fd8af9c9f3b58 /commands.lua | |
parent | 6ed60848a4d2bca5a2c64e18d58671d973ee6479 (diff) | |
download | lines.love-715c6fd32fadf8b14f4755cc31bacfb21c7f7dac.tar.gz |
source: show file being edited in window title bar
Diffstat (limited to 'commands.lua')
-rw-r--r-- | commands.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/commands.lua b/commands.lua index 4e891ef..4a0d24a 100644 --- 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 |