[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60338: [PATCH] Add option to present server changes as diffs
From: |
Philip Kaludercic |
Subject: |
bug#60338: [PATCH] Add option to present server changes as diffs |
Date: |
Fri, 01 Sep 2023 05:18:20 +0000 |
João Távora <joaotavora@gmail.com> writes:
> Hello,
>
> I've finally pushed this to master, after working on mostly on the user
> confirmation logic. I deprecated `eglot-confirm-server-initiated-edits'
> (had crap semantics anyway) and replaced it with a shiny new
> 'eglot-confirm-server-edits', with a simpler name but much more powerful
> (see its docstring).
>
> I left in Philip's new implementation of the diff confirmation but I
> didn't make it the default (although it's my preferred one) because it
> might appeal to everyone used to the "summary" prompt.
>
> Please have a look, give it some testing, and tell me if I missed
> anything.
>
> Thanks to Philip for the original idea.
Thank you very much for finishing up the patch to the end.
> João
- bug#60338: [PATCH] Add option to present server changes as diffs,
Philip Kaludercic <=
- bug#60338: [PATCH] Add option to present server changes as diffs, Eshel Yaron, 2023/09/01
- bug#60338: [PATCH] Add option to present server changes as diffs, João Távora, 2023/09/01
- bug#60338: [PATCH] Add option to present server changes as diffs, João Távora, 2023/09/01
- bug#60338: [PATCH] Add option to present server changes as diffs, Eshel Yaron, 2023/09/02
- bug#60338: [PATCH] Add option to present server changes as diffs, João Távora, 2023/09/02
- bug#60338: [PATCH] Add option to present server changes as diffs, Dmitry Gutov, 2023/09/06
- bug#60338: [PATCH] Add option to present server changes as diffs, Juri Linkov, 2023/09/07
- bug#60338: [PATCH] Add option to present server changes as diffs, Dmitry Gutov, 2023/09/07
- bug#60338: [PATCH] Add option to present server changes as diffs, Dmitry Gutov, 2023/09/07