[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Adding support for xref jumping to headers/interfaces
From: |
Yuan Fu |
Subject: |
Re: Adding support for xref jumping to headers/interfaces |
Date: |
Mon, 6 Mar 2023 23:15:36 -0800 |
> On Mar 6, 2023, at 5:50 AM, Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> On 06/03/2023 15:38, João Távora wrote:
>> The LSP names are clear enough and we can even decamelify them
>> automatically to be nicer to the camelically disinclined like
>> myself.
>
> There's also the issue of assigning keys to them (for tmm-menubar alike
> interface), which might be harder to do automatically.
>
> We could just do completing-read, but that's bound to be slower to work with.
>
I like the idea of xref-find-extra. For keys we can support both auto-compute
(use first character) and backend-chosen keys, similar to read-multiple-choice.
We can even allow users to customize it.
Completing-read is a bad idea, as you said, it’s going to be slow, much slower
and less pleasant to use. With keys I can just type the binding for
xref-find-extra and type the key, which would feels just like compound
keybindings.
Yuan
- Re: Adding support for xref jumping to headers/interfaces, (continued)
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/05
- Re: Adding support for xref jumping to headers/interfaces, João Távora, 2023/03/05
- Re: Adding support for xref jumping to headers/interfaces, John Yates, 2023/03/05
- Re: Adding support for xref jumping to headers/interfaces, Felician Nemeth, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, João Távora, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, João Távora, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, João Távora, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces,
Yuan Fu <=
- Re: Adding support for xref jumping to headers/interfaces, Felician Nemeth, 2023/03/07
- Re: Adding support for xref jumping to headers/interfaces, Yuan Fu, 2023/03/07
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/07
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, John Yates, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, John Yates, 2023/03/06
- Re: Adding support for xref jumping to headers/interfaces, Ergus, 2023/03/09
- Re: Adding support for xref jumping to headers/interfaces, Dmitry Gutov, 2023/03/10
- Re: Adding support for xref jumping to headers/interfaces, João Távora, 2023/03/10