[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Allowing completion sources to customize completion display
|
From: |
sbaugh |
|
Subject: |
Re: Allowing completion sources to customize completion display |
|
Date: |
Thu, 23 Nov 2023 14:03:37 +0000 (UTC) |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: sbaugh@catern.com
>> Date: Thu, 23 Nov 2023 12:38:22 +0000 (UTC)
>> Cc: Eshel Yaron <me@eshelyaron.com>, sbaugh@janestreet.com,
>> emacs-devel@gnu.org
>>
>> Eli Zaretskii <eliz@gnu.org> writes:
>> >
>> > IMNSHO, it will be a sad day when different completion sources will
>> > present different completion UI. There will be no end to user
>> > confusion.
>> >
>> > Completion UI is a user preference, and if we want to support
>> > different UIs (as we already do), we should leave it to the user to
>> > specify the UI he/she prefers, and then abide by that.
>>
>> Sure. I, as a user, want to specify two different UIs for two different
>> completion sources.
>>
>> Currently this is impossible.
>
> It shouldn't be possible. Users should not need to be aware of the
> completion sources.
Why not? I just explained a use case where users are definitely already
aware of the completion sources, and Eshel mentioned another one.
- Allowing completion sources to customize completion display, Spencer Baugh, 2023/11/23
- Re: Allowing completion sources to customize completion display, Jim Porter, 2023/11/23
- Re: Allowing completion sources to customize completion display, Eli Zaretskii, 2023/11/24
- Re: Allowing completion sources to customize completion display, Spencer Baugh, 2023/11/24
- RE: [External] : Re: Allowing completion sources to customize completion display, Drew Adams, 2023/11/24
- Re: Allowing completion sources to customize completion display, Dmitry Gutov, 2023/11/24
- Re: Allowing completion sources to customize completion display, sbaugh, 2023/11/25
- Re: Allowing completion sources to customize completion display, Dmitry Gutov, 2023/11/25
- Re: Allowing completion sources to customize completion display, Eli Zaretskii, 2023/11/25
- Re: Allowing completion sources to customize completion display, Dmitry Gutov, 2023/11/25