summaryrefslogtreecommitdiff
path: root/datamanager.h
diff options
context:
space:
mode:
authorJohn Fultz <jfultz@wolfram.com>2015-10-10 19:09:36 -0500
committerJohn Fultz <jfultz@wolfram.com>2015-10-10 19:09:36 -0500
commit69e3dcefb882c743b136df8e5c81b4182b135f6b (patch)
treefaabb8c691da11067297df8d870c0393a91c8a7f /datamanager.h
parent81554a201cc5e0748110add6eca05cc16c18850c (diff)
Progress on the lexicon dialog.
Now prints better stats. Now loads the dictionary you're editing. Now disables the Delete button at appropriate times.
Diffstat (limited to 'datamanager.h')
-rw-r--r--datamanager.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/datamanager.h b/datamanager.h
index 196d525..75bce54 100644
--- a/datamanager.h
+++ b/datamanager.h
@@ -105,6 +105,9 @@ public:
// Returns empty string if the file is not found.
string findDataFile(const string &subDirectory, const string &file);
+ // Returns true if the data file is in user-land.
+ bool hasUserDataFile(const string &subDirectory, const string &file);
+
// returns similarly-named file
string makeDataFilename(const string &subDirectory, const string &lexicon, const string &file, bool user);
string makeDataFilename(const string &subDirectory, const string &file, bool user);