Fix bug 2235: jpeg capital letters (.JPG) does not work with pdflatex

[features.git] / src / support / FileName.h

diff --git a/src/support/FileName.h b/src/support/FileName.h
index 1c020c898f18d7e8760907d7bd3c870129ac2354..26d0179d1919fb5bcd00be03e184f13d567d379a 100644 (file)
--- a/src/support/FileName.h
+++ b/src/support/FileName.h
@@ -174,6 +174,9 @@ public:
        std::string onlyFileNameWithoutExt() const;
        /// only extension after the last dot.
        std::string extension() const;
+       /** checks if the file has the given extension
+               on Windows and Mac it compares case insensitive */
+       bool hasExtension(const std::string & ext);
        /// path without file name
        FileName onlyPath() const;
        /// used for display in the Gui