- Subject: Folding (was: Re: towards 1.0)
- From: Romano Giannetti <romano@xxxxxxxxxxxxxxxx>
- Date: Tue, 5 Mar 2002 11:09:01 +0100
On Tue, Mar 05, 2002 at 10:07:37AM +0100, Guenter Milde wrote:
> Once we are about making jed the best editor on the net, I'd like to pass on
> the reply I got when promoting jed:
>
> ------ Forwarded message ------
> From: "Dr. David Mertz" <mertz@xxxxxxxxx>
>
> For example, I know jed does folding (I specifically configured it to
> compile in that option). But I have no idea what the keystrokes are to
> do that, so in practice I treat it like it does not have that feature.
I think that one of the problem of folding mode is that it is trated like a
mode by itself, when it really is an orthogonal thing. So, if you enter
latex mode, for example, and the folding mode, you loose some useful
keystrokes, and in the menu just the latex mode functions do appear.
I think that folding mode should use a set of keystrokes starting with
something different from _Reserved_Key_Prefix, and that its function should
add to the menubar.
Romano / just my 2¢
--
Romano Giannetti - Univ. Pontificia Comillas (Madrid, Spain)
Electronic Engineer - phone +34 915 422 800 ext 2416 fax +34 915 411 132
--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.
[2002 date index]
[2002 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]