set window title within each app

The main app shows the file being edited, but the programming environment does not.
This commit is contained in:
Kartik K. Agaram 2022-09-03 17:20:11 -07:00
parent 5cada8cc9e
commit c6f88dccfa
2 changed files with 2 additions and 2 deletions

View File

@ -88,7 +88,6 @@ function App.initialize(arg)
else
assert(false, 'unknown app "'..Current_app..'"')
end
love.window.setTitle('lines.love - '..Current_app)
end
function App.resize(w,h)
@ -110,7 +109,6 @@ function App.filedropped(file)
else
assert(false, 'unknown app "'..Current_app..'"')
end
love.window.setTitle('lines.love - '..Current_app)
end
function App.focus(in_focus)

View File

@ -69,6 +69,7 @@ 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
love.window.setTitle('lines.love - source')
end
-- environment for a mutable file of bifolded text
@ -196,6 +197,7 @@ function source.filedropped(file)
Text.redraw_all(Editor_state)
Editor_state.screen_top1 = {line=1, pos=1}
Editor_state.cursor1 = {line=1, pos=1}
love.window.setTitle('lines.love - source')
end
-- a copy of source.filedropped when given a filename