X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTDictionary.hh;h=8807f83772e0e2076a86079b9d1ca12875ea25bc;hb=06340d0a6a60e9bade273a93847f1de0b3079a3c;hp=43c2e51af3f5511d79f45e814918fd1045e2ad37;hpb=98e5817ce4fa424fb3181d90d327935c1b100ec4;p=helm.git diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.hh b/helm/DEVEL/mathml_editor/src/TDictionary.hh index 43c2e51af..8807f8377 100644 --- a/helm/DEVEL/mathml_editor/src/TDictionary.hh +++ b/helm/DEVEL/mathml_editor/src/TDictionary.hh @@ -84,6 +84,8 @@ public: unsigned table : 1; }; + static std::string getDefaultDictionaryPath(void); + void load(const std::string&); void load(const std::string&, const std::string&); void load(const DOM::Document&, const std::string& = "");