[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56110: 27+; switching from line-mode to char-mode
From: |
signal3 |
Subject: |
bug#56110: 27+; switching from line-mode to char-mode |
Date: |
Sun, 26 Jun 2022 16:01:43 +0000 |
I may literally die from laughter when someone changes it back! See:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=49186
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=44087
On Sun, Jun 26, 2022 at 2:49 PM Michael Heerdegen
<michael_heerdegen@web.de> wrote:
>
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
> > Personally, I prefer using `add/remove-function` and stop worrying about
> > those risks. After all, that's part of the reason why I developed them.
>
> Ok - I have now installed this fix:
>
>
> Thanks,
>
> Michael.
--
Software is written for people to read; the machine's execution of it
is ancillary.
- bug#56110: 27+; switching from line-mode to char-mode, (continued)
- bug#56110: 27+; switching from line-mode to char-mode, Stefan Monnier, 2022/06/23
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/25
- bug#56110: 27+; switching from line-mode to char-mode, Stefan Monnier, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Stefan Monnier, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Stefan Monnier, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Andreas Schwab, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode,
signal3 <=
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Lars Ingebrigtsen, 2022/06/26
- bug#56110: 27+; switching from line-mode to char-mode, Michael Heerdegen, 2022/06/26