Account for old versions of Pygments

[features.git] / src / insets / InsetListingsParams.h

diff --git a/src/insets/InsetListingsParams.h b/src/insets/InsetListingsParams.h
index e565e99dc83194457e57579ed3fb5840da353981..a7120badebb25bae325f1b1282ae4b1e1c2f7c6c 100644 (file)
--- a/src/insets/InsetListingsParams.h
+++ b/src/insets/InsetListingsParams.h
@@ -76,6 +76,9 @@ public:
        ///
        static int package() { return package_; }
 
+       ///
+       bool minted() { return package_ == 1; }
+
        /// get value of option \c param
        std::string getParamValue(std::string const & param) const;