diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2008-09-20 21:43:19 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2008-09-20 21:43:19 -0400 |
| commit | 504360888bbe3e5bad4f203ae083de69f8b7e218 (patch) | |
| tree | 2fa6add60bdf3542ae7fd42a4d701ea328c64456 /core/file_io.lua | |
| parent | 8c86c21b2fcd2c62a1f70b6d553983991a066889 (diff) | |
| download | textadept-504360888bbe3e5bad4f203ae083de69f8b7e218.tar.gz textadept-504360888bbe3e5bad4f203ae083de69f8b7e218.zip | |
Added session support for Windows; core/file_io.lua
Diffstat (limited to 'core/file_io.lua')
| -rw-r--r-- | core/file_io.lua | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/core/file_io.lua b/core/file_io.lua index ecfb35e0..06c2661f 100644 --- a/core/file_io.lua +++ b/core/file_io.lua @@ -171,9 +171,11 @@ end -- @return true if the session file was opened and read; false otherwise. -- @usage textadept.io.load_session(filename) function load_session(filename, only_pm) - if WIN32 then return end -- TODO: local textadept = textadept - local f = io.open(filename or os.getenv('HOME')..'/.ta_session') + local user_dir = os.getenv(WIN32 and 'USERPROFILE' or 'HOME') + if not user_dir then return end + local ta_session = user_dir..'/.ta_session' + local f = io.open(filename or ta_session) local current_view, splits = 1, { [0] = {} } if f then for line in f:lines() do @@ -230,7 +232,6 @@ end -- $HOME/.ta_session if not specified. -- @usage textadept.io.save_session(filename) function save_session(filename) - if WIN32 then return end -- TODO: local session = '' local buffer_line = "buffer: %d %d %d %s\n" -- anchor, cursor, line, filename local split_line = "%ssplit%d: %s %d\n" -- level, number, type, size @@ -286,7 +287,10 @@ function save_session(filename) local pm = textadept.pm session = session..("pm: %d %s\n"):format(pm.width, pm.entry_text) -- Write the session. - local f = io.open(filename or os.getenv('HOME')..'/.ta_session', 'w') + local user_dir = os.getenv(WIN32 and 'USERPROFILE' or 'HOME') + if not user_dir then return end + local ta_session = user_dir..'/.ta_session' + local f = io.open(filename or ta_session, 'w') if f then f:write(session) f:close() end end |