Convert labels to unicode

[features.git] / src / frontends / controllers / ControlRef.C

diff --git a/src/frontends/controllers/ControlRef.C b/src/frontends/controllers/ControlRef.C
index 37a9b33e8ce0603004ca3b7ff5619a81b24df6cb..958500d62a552771cb9cbec2c9fe2cd479d842b0 100644 (file)
--- a/src/frontends/controllers/ControlRef.C
+++ b/src/frontends/controllers/ControlRef.C
@@ -19,6 +19,8 @@
 
 #include "support/filetools.h" // MakeAbsPath, MakeDisplayPath
 
+using lyx::docstring;
+
 using std::vector;
 using std::string;
 
@@ -34,10 +36,10 @@ ControlRef::ControlRef(Dialog & d)
 {}
 
 
-vector<string> const ControlRef::getLabelList(string const & name) const
+vector<docstring> const ControlRef::getLabelList(string const & name) const
 {
        Buffer const & buf = *theBufferList().getBuffer(makeAbsPath(name));
-       vector<string> list;
+       vector<docstring> list;
        buf.getLabelList(list);
        return list;
 }