diff options
| author | Marius <mariausol@gmail.com> | 2010-09-03 12:35:26 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2010-09-03 12:35:26 +0300 |
| commit | 16895587e51f8243a7e4dc6185979894fb199d4f (patch) | |
| tree | 923fe9fe4d34a11202e06a4258ba71bab6ccde8d /scripts/context/lua/mtx-texworks.lua | |
| parent | 20da4ce347921be291c8804041bd8756e3bf1707 (diff) | |
| download | context-16895587e51f8243a7e4dc6185979894fb199d4f.tar.gz | |
beta 2010.09.03 11:05
Diffstat (limited to 'scripts/context/lua/mtx-texworks.lua')
| -rw-r--r-- | scripts/context/lua/mtx-texworks.lua | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/context/lua/mtx-texworks.lua b/scripts/context/lua/mtx-texworks.lua index 47a949b6c..589246ccd 100644 --- a/scripts/context/lua/mtx-texworks.lua +++ b/scripts/context/lua/mtx-texworks.lua @@ -27,24 +27,24 @@ function scripts.texworks.start(indeed) local fullname = nil local binpaths = file.split_path(os.getenv("PATH")) or file.split_path(os.getenv("path")) local usedsignal = texworkssignal - local datapath = resolvers.find_file(usedsignal,"other text files") or "" + local datapath = resolvers.findfile(usedsignal,"other text files") or "" if datapath ~= "" then datapath = file.dirname(datapath) -- data if datapath == "" then - datapath = resolvers.clean_path(lfs.currentdir()) + datapath = resolvers.cleanpath(lfs.currentdir()) end else usedsignal = texworkininame - datapath = resolvers.find_file(usedsignal,"other text files") or "" + datapath = resolvers.findfile(usedsignal,"other text files") or "" if datapath == "" then usedsignal = string.lower(usedsignal) - datapath = resolvers.find_file(usedsignal,"other text files") or "" + datapath = resolvers.findfile(usedsignal,"other text files") or "" end if datapath ~= "" and lfs.isfile(datapath) then datapath = file.dirname(datapath) -- TUG datapath = file.dirname(datapath) -- data if datapath == "" then - datapath = resolvers.clean_path(lfs.currentdir()) + datapath = resolvers.cleanpath(lfs.currentdir()) end end end |