akkartik
/
text.love
1
0
Fork 0
Code Issues Pull Requests Releases Activity

bugfix in source editor 

We now need to explicitly select the directory we want to read from.
This commit is contained in:
Kartik K. Agaram 2023-08-30 22:30:20 -07:00
parent f82c0de502
commit 06ad5c4e8c
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
source_file.lua
View File

@ -1,7 +1,10 @@
-- primitives for saving to file and loading from file
function file_exists(filename)
local infile = App.open_for_reading(filename)
local infile = App.open_for_reading(App.save_dir..filename)
if not infile then
infile = App.open_for_reading(App.source_dir..filename)
end
if infile then
infile:close()
return true
@ -10,9 +13,12 @@ function file_exists(filename)
end
end
-- the source editor supports only files in the save dir, not even subdirectories
-- the source editor supports only files in the save dir backed by the source dir
function load_from_disk(State)
local infile = App.open_for_reading(App.save_dir..State.filename)
if not infile then
infile = App.open_for_reading(App.source_dir..State.filename)
end
State.lines = load_from_file(infile)
if infile then infile:close() end
end