On Sat, Mar 05, 2022 at 04:30:09AM +0100, Thibaut Cuvelier wrote:
>
> On Sat, 5 Mar 2022 at 03:40, Enrico Forestieri <for...@lyx.org> wrote:
>
> > 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.
> >
>
> It also compiles for me and the conversion of Unicode LaTeX files still
> works. I was initially afraid of changing the type of the field, because I
> had no idea why it was this way.
Patch committed at 955308de.
--
Enrico
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
