Yes, makes sense, but there is another piece of initialization -- good ol
command line params -- that are also treated the way i described (i'm
almost sure, but better confirm).

So it's good to be consistent. If this kind of refreshing from user options
is needed for debug purposes, the user can simply shutdown and restart
instead of eglot-reconnect. At least this is what I figured at the time.

On Sun, Sep 11, 2022, 17:33 Augusto Stoffel <arstoffel@gmail.com> wrote:

> On Sun, 11 Sep 2022 at 17:27, João Távora wrote:
>
> > Can you suggest an alternative patch so that that second effect also
> happens?
> >
> > João
> >
> > On Sun, Sep 11, 2022, 17:26 Augusto Stoffel <arstoffel@gmail.com> wrote:
> >
> >  On Sun, Sep 11, 2022, 18:20 João Távora <joaotavora@gmail.com> wrote:
> >
> >  I almost agree with this fix as is, but maybe we should name the slot.
> What
> >  happens if my the connection is restarted, shouldn't the previous
> >  initializationOptions be reused?
> >
> >  Most certainly.
>
> Actually, I'm not so sure what the best behavior is.  I think reusing
> the original :initializationOptions is consistent with other behavior in
> Eglot (is it?), but there's also merit in recomputing/using the current
> user settings — for instance, if you need to debug the
> :initializationOptions.
>