[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56870: company-dabbrev variable documentation
From: |
Matt Armstrong |
Subject: |
bug#56870: company-dabbrev variable documentation |
Date: |
Thu, 04 Aug 2022 10:09:30 -0700 |
carlmarcos@tutanota.com writes:
> Aug 3, 2022, 18:41 by matt@rfc20.org:
>
>> I think the maintainers are quite receptive to improvements like
>> this.
>
> I completely disagree. The experience with maintainers has shown how
> unreceptive they often get towards improvements like this. Lars
> thought there isn't anything to fix in Emacs and decided to close this
> bug report.
I think reasonable people can disagree about what is and is not a
problem, is or is not an improvement, or even misunderstand eachother
entirely. Sometimes patience and additional explanations are the way to
move forward.
In this case, I agree with Lars that the company-dabbrev docstring is
consistent with Emacs' usual way of writing docstrings. I don't
actually see a clear way to improve the one docstring in isolation
without it becoming inconsistent with the rest of Emacs. And so, I
would expect any improvement here to involve some discussion, since the
path forward isn't obvious.
- bug#56870: company-dabbrev variable documentation, (continued)
- bug#56870: company-dabbrev variable documentation, Matt Armstrong, 2022/08/01
- bug#56870: company-dabbrev variable documentation, Lars Ingebrigtsen, 2022/08/02
- bug#56870: company-dabbrev variable documentation, uzibalqa, 2022/08/02
- bug#56870: company-dabbrev variable documentation, YE, 2022/08/03
- bug#56870: company-dabbrev variable documentation, Matt Armstrong, 2022/08/03
- bug#56870: company-dabbrev variable documentation, carlmarcos, 2022/08/03
- bug#56870: company-dabbrev variable documentation,
Matt Armstrong <=
- Message not available
- bug#56870: company-dabbrev variable documentation, carlmarcos, 2022/08/04
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, YE, 2022/08/04
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, Eli Zaretskii, 2022/08/04
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, Matt Armstrong, 2022/08/04
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, Eli Zaretskii, 2022/08/04
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, YE, 2022/08/05
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, Eli Zaretskii, 2022/08/05
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, carlmarcos, 2022/08/05
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, YE, 2022/08/06
- bug#56870: [PATCH] Re: bug#56870: company-dabbrev variable documentation, Eli Zaretskii, 2022/08/06