Am Sun, 19 Apr 2020 10:16:28 +0200 schrieb Stephan Witt <[email protected]>:
> > The serverpipe entry in saved users preferences is written only on a
> > explicit
> > change of this entry by the user. The location of the pipe is derived from
> > the installed lyxrc.dist then.
>
> To be more explicit: the lookup in user preferences fails and the pipe
> location
> must be guessed. This guess uses the installed lyxrc.dist.
Too bad.
Kornel
pgpqENE_nKhoP.pgp
Description: Digitale Signatur von OpenPGP
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
