Extend minted support to listings as child documents

[lyx.git] / src / frontends / Selection.h

diff --git a/src/frontends/Selection.h b/src/frontends/Selection.h
index fb835e7ffb95cce93d7af020100ce5b2d92fc475..ac902ffc1eaafcaef57e201ddf59fd9ff5d8ab73 100644 (file)
--- a/src/frontends/Selection.h
+++ b/src/frontends/Selection.h
@@ -62,7 +62,7 @@ public:
         * This does always return true on systems that don't have a real
         * selection.
         */
-       virtual bool empty() = 0;
+       virtual bool empty() const = 0;
 };
 
 } // namespace frontend