Re: Re: Re: about the "Recent Files" feature

[Guenter Milde <milde@xxxxxxxxxxxxxxxxxxxx>]

On Fri, 11 Apr 2003 14:31:38 -0400 wrote "John E. Davis" <davis@xxxxxxxxxxxxx>:

> Perhaps a reasonable compromise would be to have a list of features to
> be loaded at startup after loading the personal .jedrc file, with a
> mechanism to modify that list before the loading takes place.  For
> example,
> 
>    % code in site.sl
     ...  
           
>    % load jedrc startup file code
>       .
>       .
>    % Now load features
>      foreach (Default_Feature_List) using ("keys")
>        {
>           feature = ();
>           require (feature);
>        }
> 
> Then, suppose that someone does not like the "recent" files feature.
> That that person's .jedrc file could contain
> 
>    jed_remove_feature ("recent");

How about doing it all in the .jedrc (which is im my opinion a lot simpler)?
placed within the 
if (BATCH == 0)
{
  ...
}
block of .jedrc, I suggest lines like:


% Nice features that make jed easier to use but slow down it a bit.
% Comment them out, if you do not like them
% 
require ("recent");   % a popup-menu of recently loaded files
require("numbuf");    % number buffers and switch to them with Alt-Number
require("feature");   % another very nice feature


Of course this will only work if people update the .jedrc too, but a
prominent notice in the changes log will help the long-term jed user to
realize it (and the novice like the ones described by Guido will get the new
.jedrc when installing jed. Besides this, I hope Guido has already used his
superuser privileges to change the default behaviour of jed in his computer
lab.)

Günter

--
Milde at ife.et.tu-dresden.de



--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.