Hi;
Just an idea: When I press some digit on my keyboard the "jump"
function is invoked, so that I can enter some number and then press
enter to jump the the appropriate index entry. And if press any other
non-number instead of return, the character shows up on the typing
field. IMHO it would be much more useful, if jump would accept any
non-digit as terminator of the message number to jump to and would the
push that last typed character to execute the appropriate function.
Example:
To tag message number 42 I would enter "42<Return>t", but "42t" would
be as non-ambiguous as "42<Return>t" is.
Any comments?
Regards, Axel
--
Axel Beckert - [EMAIL PROTECTED] - http://abe.home.pages.de/
Dept. of Computer Science, University of Saarland (Germany)
Artificial Intelligence Laboratory (AI Lab), Prof. Dr. W. Wahlster;
WWW-Administrator IBFI Schloss Dagstuhl; Students Representative
