Fix clipboard/selection encoding

[features.git] / src / frontends / qt4 / GuiSelection.h

diff --git a/src/frontends/qt4/GuiSelection.h b/src/frontends/qt4/GuiSelection.h
index 20a104e2a53e06a3863107318e3931d7a0b677c3..ed6210f7133859525d799b5da98637a628227588 100644 (file)
--- a/src/frontends/qt4/GuiSelection.h
+++ b/src/frontends/qt4/GuiSelection.h
@@ -31,8 +31,8 @@ public:
         */
        //@{
        void haveSelection(bool own);
-       std::string const get() const;
-       void put(std::string const & str);
+       docstring const get() const;
+       void put(docstring const & str);
        //@}
 };