smartscroll and wmark

[Thei Wijnen <t.wijnen@xxxxxxxxx>]

Dear John,

Some time ago I suggested that smart scrolling should be added
to wmark (as in EDT) mode and perhaps other emulations.
I copied the smart scroll function from edt.sl and added it
to my defaults.sl and then changed wmark.sl to have that
use smart scrolling.

I would like to propose (and I think Guenter also did) that the smart 
scroll function is added to the distribution. I have a separate
file (smartscroll.sl) on my web page. It could be supplied as such
in the distribution or perhaps it could be incorporated in site.sl.
The variable Smart_Scroll_Margin could be in jed.rc and it
determines whether smart scolling is enabled.
I made changes to wmark.sl to enable it and put that file also
on my web page ( www.hef.ru.nl/~thei/JED/ ).

Please have a look and give us your opinion.

         Thei.

P.S. wmark.sl uses keydefs.sl to get symbolic names for the keys.

+-------------------------------------------------------------------+
| T.A.M. Wijnen                     www.hef.ru.nl/~thei/
| Radboud Universiteit Nijmegen     Exp. Hoge Energie Fysica
+-------+-------+-------+-------+-------+-------+-------+-------+---+


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