|
From: | Drew Adams |
Subject: | bug#56609: [PATCH] Derive `Info-mode' from `special-mode' |
Date: | Sun, 17 Jul 2022 14:30:54 +0000 |
> Did you test this with Info-edit-mode? > > (It's in obsolete/, but I still use it daily.) +1. (I don't use it daily. But IMO it should not be deprecated. There's nothing wrong with letting users edit Info nodes directly. And if you want to prevent them from doing so accidentally then either ask for confirmation (once only) or (put 'Info-edit 'disabled "...").
[Prev in Thread] | Current Thread | [Next in Thread] |