poplog-dev Re: pop-forum MS Windows keybindings for Ved

Steve wrote:


> > define vedinit();
> > vedsetkey('\^[[FF50', "vedtextleft"); ;;; Home
> > vedsetkey('\^[\^[[FF50', "vedtopfile"); ;;; ESC Home
> >
> > identfn -> vedinit; ;;; Reclaim space taken by this procedure
> > enddefine;
> > -----
>
> I strongly recommend getting rid of the assignment to "vedinit".
> Micro-optimisations of that form are just asking for trouble and the
> benefit is so small as to be difficult to instrument.

I agree. If anyone can work out how to change things the we David
wants, we could consider adding it to

$usepop/Poplib/vedinit.p

[Which is currently a mess, much in need of fixing]

Or better in

$usepop/pop/lib/ved/term/vedxtermkeys.p

and if necessary also in

$usepop/pop/x/ved/lib/vedxvedkeys.p

I've noticed that on my laptop xterm changes the character
codes transmitted by CTRL+Home, so presumably XVed could
also do that.

Aaron
http://www.cs.bham.ac.uk/~axs/