Split clipboard and X selection

[features.git] / src / frontends / Gui.h

diff --git a/src/frontends/Gui.h b/src/frontends/Gui.h
index 76321770486a02d07eeb850e57d79832ffc60d09..0260b1a366a9ac5dd92de0278422eb7f7fa978a0 100644 (file)
--- a/src/frontends/Gui.h
+++ b/src/frontends/Gui.h
@@ -25,6 +25,7 @@ namespace lyx {
 namespace frontend {
 
 class Clipboard;
+class Selection;
 class WorkArea;
 
 
@@ -38,6 +39,8 @@ public:
 
        ///
        virtual Clipboard & clipboard() = 0;
+       ///
+       virtual Selection & selection() = 0;
 
        ///
        virtual int newView(unsigned int width, unsigned int height) = 0;