[ jEdit-users ] toggle select?

[Mike M. <ma...@um...>]

Is there a way in jEdit to toggle selecting?  What I have in mind is that such a command would 
change the arrow, page up/down, and home/end keys to select (or not) text.  In effect, if selecting 
were toggled on, these keys would act like their shifted versions.  I could then assign a key to 
toggle the selecting mode.

The ancient Qedit editor had this sort of toggle--it was called "drop anchor."  I think the Brief 
editor had it too.
-- 
	Mike Maxwell
	ma...@um...
	"My definition of an interesting universe is
	one that has the capacity to study itself."
         --Stephen Eastmond