I would like a command that puts jEdit into or out of selection mode--a sort of "toggle
select." 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.
| Submitted | mcswell - 2012-04-26 03:29:53 | Assigned | |
|---|---|---|---|
| Priority | 8 | Labels | Edit mode |
| Status | open | Group | None |
| Resolution | None |
| 2012-11-14 21:47:01 kocsonya |
There is a $500 bounty on the implementation of this feature. For details see the
user mailing list, subject 'Bounty', date 2012-Nov-14. |
|---|---|
| 2012-11-14 22:07:21 ezust |
- **priority**: 5 --> 8 |
| 2013-07-14 19:49:45 eldienerlee |
I would also like to see this. The Codewright editor also had this feature of toggling selection mode. |
| 2016-03-25 23:28:13.435000 marchaefner |
Attached is a macro that implements the feature (at least as a proof of concept).
I'm not entirely sure if this hits the sweet spot since I never came across any of
the mentioned editors, so feedback from (potential) users might be useful.
Toggle_Selection_Mode.bsh (4.9Kio) |