I have at last done what I have been threatening for some time to do
namely revise the key bindings for XVed and for the default version of
Ved for Xterm windows (or linux console) to be consistent (after an
insert in .Xdefaults to instruct xterm to distinguish certain keys
that it treats as equivalent by default).
I believe this will reduce the amount of fiddling around by users in
their vedinit.p files to get a coherent and consistent (between Ved
and Xved) set of key-bindings. It also reduces the amount of stuff
that has to go into .Xdefaults.
The new package with revised code and documentation can be fetched from
here, in a small tar ball.
http://www.cs.bham.ac.uk/research/poplog/src/new/newved.tar.gz
33243 bytes Jul 27 18:03
These are the contents (suppressing some lines of output from tar t):
-rw-r--r-- axs/poplog 971 2003-07-26 15:15:17 lib/ved/vedjoinline.p
drwxr-sr-x axs/poplog 0 2003-07-27 17:12:51 lib/ved/term/
-rw-r--r-- axs/poplog 1767 1992-12-15 02:06:32 lib/ved/term/oldvedxtermkeys.p
-rw-r--r-- axs/poplog 12104 2003-07-27 17:05:53 lib/ved/term/vedxtermkeys.p
-rw-r--r-- axs/poplog 9459 1995-05-11 12:05:25 x/ved/help/oldxvedkeys
-rw-r--r-- axs/poplog 12375 2003-07-27 14:33:01 x/ved/help/xvedkeys
-rw-r--r-- axs/poplog 5488 2003-07-26 10:54:30 x/ved/lib/oldvedxvedkeys.p
-rw-r--r-- axs/poplog 9137 2003-07-27 14:24:41 x/ved/lib/vedxvedkeys.p
-rw-r--r-- axs/poplog 10217 2003-07-27 00:43:20 x/ved/lib/vedxtermkeys.p
-rw-r--r-- axs/poplog 27634 2003-07-26 11:17:02 x/ved/src/xveddialogs.p
-rw-r--r-- axs/poplog 11461 2003-07-27 17:08:39 help/vedxtermkeys
-rw-r--r-- axs/poplog 16835 2003-07-27 12:35:17 help/index
-rw-r--r-- axs/poplog 7776 2003-07-27 13:22:03 help/vedxterm
-rw-r--r-- axs/poplog 1546 2003-07-27 18:01:23 help/Xdefaults
Note that the main changed files remain as
oldvedxtermkeys.p
and
oldvedxvedkeys.p
The old HELP xvedkeys is now HELP oldxvedkeys.
The only change to xveddialogs.p is introduction of a global
boolean variable
vedquitpanel
default value true.
If you make it false it prevents XVed putting up a graphical dialogue
box when quitting files: instead you just get the three options on Ved's
status line, and respond with one of: y n c.
This is totally backward compatible.
To install everything (after saving the old versions of the code files
as a precaution) just cd to $usepop/pop and untar the file:
tar xfz ......./newved.tar.gz
then run commands to rebuild saved images. E.g. to rebuild the
system saved images do
cd $popcom
./mkstartup
./mkxved
./mkplog
./mkclisp
./mkpml
If you have Birmingham local libraries you can do this:
# remove or move old version of vedxtermkeys.p
mv $poplocal/local/auto/vedxtermkeys.p /tmp
cd $poplocal/local/com
./mkstartup.local
./mkxved.local
./mkplog.local
./mkclisp.local
./mkpml.local
To make the dumb terminal Ved work properly in an Xterm window
copy the relevant portion of the new file HELP Xdefaults
(17 lines) into your .Xdefaults, then do this
xrdb .Xdefaults
and then start a new xterm window in which to run Ved.
If you don't use xterm windows, but one of the many surrogates
that come with gnome or kde, expect trouble: use XVed instead.
NOTE: I have so far tested this only on linux.
After installing this (and some other things) into the main package I'll
call it Poplog Version 16 ???
Before doing that I would like to find a way to suppress the colours
used in Ved menus for things like vedfileselect. They may look
acceptable in Xterm windows with black text on white foreground, but for
people like me who use reverse video the colours are a complete
disaster, partly because the blue is invisible against black, and partly
because the assumed bits of white background in the strings are a
complete mess when the actual background is black (or very dark grey).
Aaron
====
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs/ )
School of Computer Science, The University of Birmingham, B15 2TT, UK
EMAIL A.Sloman AT cs.bham.ac.uk (ReadATas@please !)
PAPERS: http://www.cs.bham.ac.uk/research/cogaff/ (And free book on Philosophy of AI)
FREE TOOLS: http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
|