Am Mo., 15. März 2021 um 18:46 Uhr schrieb Pavel Sanda <sa...@lyx.org>:
> On Mon, Mar 15, 2021 at 05:37:37PM +0000, José Abílio Matos wrote:
> > On Monday, March 15, 2021 2:39:47 PM WET Pavel Sanda wrote:
> > > I had the same thought, this issue happens for me regularly.
> > >
> > > Pavel
> >
> > It happens to me as well. :-)
>
> So who is gonna write the patch? :) P
>
Is the attached patch sufficient?
--
Eugene
dbgSynonym.diff
Description: Binary data
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
