jed-users mailing list

[2002 Date Index] [2002 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Guido's help system


On Wed, 18 Dec 2002, Romano Giannetti wrote:

> On Wed, Dec 18, 2002 at 07:38:58AM +0100, Guido Gonzato wrote:
> > 
> > Should I make a tarball for people to try out?
> > 
> Yes, please! 
>                 Romano 

OK, there you are. How to use the new help system:

1. make a backup copy of man.sl, help.sl, and site.sl

2. extract the files from help.tar.gz, rename them to remove the .new
extension, and copy them to JED_ROOT/lib

3. add this line to your .jedrc:

  setkey ("help_for_word_at_point", "^C^H");

(choose whatever key binding you like, I chose Key_Alt_F1)

4. edit a C | S-Lang | SH | LaTeX file, move the cursor on a keyword (eg
\texttt in LaTeX mode, or printf in C mode), then press ^C^H. The help
window will pop up, 'q' to quit it.

5. tell the list what you think. In case of positive comments, I hope John
will accept my patches for inclusion in .99.17.

Ciao,
     Guido =8-)

-- 
Guido Gonzato, Ph.D. <guido . gonzato at univr . it> - Linux System Manager
Universita' di Verona (Italy), Facolta' di Scienze MM. FF. NN.
Ca' Vignal II, Strada Le Grazie 15, 37134 Verona (Italy)
Tel. +39 045 8027990; Fax +39 045 8027928 --- Timeas hominem unius libri

Attachment: help.tar.gz
Description: GNU Zip compressed data


[2002 date index] [2002 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]