Fix clipboard/selection encoding

[features.git] / src / frontends / gtk / GuiClipboard.h

diff --git a/src/frontends/gtk/GuiClipboard.h b/src/frontends/gtk/GuiClipboard.h
index adb1ec7ed0b3a84a8589365ea53adb0a0c2bcbc8..a8a524e787c4760cbee38590abc4f13f1d71f2cb 100644 (file)
--- a/src/frontends/gtk/GuiClipboard.h
+++ b/src/frontends/gtk/GuiClipboard.h
@@ -29,9 +29,9 @@ public:
         */
        //@{
 
-       std::string const get() const;
+       docstring const get() const;
 
-       void put(std::string const & str);
+       void put(docstring const & str);
        //@}
 };