On Sat, Mar 05, 2022 at 03:00:08AM +0100, Thibaut Cuvelier wrote:
> 
> What I don't get is why casting one value is easy, but a vector is not...
> What about adding a manual cast around this line?
> 
> std::vector<docstring> mathCommands() const { return math_commands_; }

The attached patch works for me.

-- 
Enrico
diff --git a/src/Encoding.h b/src/Encoding.h
index 6016f05f02..2b84417556 100644
--- a/src/Encoding.h
+++ b/src/Encoding.h
@@ -113,10 +113,10 @@ public:
 private:
        /// LaTeX commands (text mode) for this character. The first one is the 
default, the others
        /// are only present for compatibility other ways users may encode the 
character
-       std::vector<trivdocstring> text_commands_;
+       std::vector<docstring> text_commands_;
        /// LaTeX command (math mode) for this character. The first one is the 
default, the others
        //      /// are only present for compatibility other ways users may 
encode the character
-       std::vector<trivdocstring> math_commands_;
+       std::vector<docstring> math_commands_;
        /// Needed LaTeX preamble (or feature) for text mode
        trivstring text_preamble_;
        /// Needed LaTeX preamble (or feature) for math mode
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to