Re: Few more requests

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

Hello V01D,

V01D <phreakuencies@xxxxxxxxx> wrote:
> Hi, me again. I forgot about two other pending items (yes, I'm a 
> customization freak).
> - Can open a top menu item (File, Help, ...) with the Down key (while 
> retaining " " binding to selecting menu item (I couldn't find any 
> documentation about the select_menu_item).
> - Is there a way to make all backup files be saved to a central 
> directory? (like ~/.jed/backups)

Yes, with Jed you can do this:

define the function make_backup_filename() in your jed.rc

define make_backup_filename(file)
{
   (file,) = strreplace(file, "/", "_", strlen(file));
   return "~/.jed/backups/"+file;
}

Bye, Jörg.
-- 
"Politics is for the moment, equations are forever"
         -- Albert Einstein

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