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