#439 toggle select

open
nobody
Edit mode (23)
8
2016-03-25
2012-04-26
No

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.

Discussion

  • Zoltan Kocsi

    Zoltan Kocsi - 2012-11-14

    There is a $500 bounty on the implementation of this feature. For details see the user mailing list, subject 'Bounty', date 2012-Nov-14.

     
  • Alan Ezust

    Alan Ezust - 2012-11-14
    • priority: 5 --> 8
     
  • Edward Diener

    Edward Diener - 2013-07-14

    I would also like to see this. The Codewright editor also had this feature of toggling selection mode.

     
  • Marc Häfner

    Marc Häfner - 2016-03-25

    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.

    Installation: Drop the file in ~/.jedit/macros and assign shortcut. Configuration can be changed in the file.

    This could (should?) also be reimplemented as a plugin which should allow for a statusbar widget. (And yeah, implementing EditBus and buffer listeners in a beanshell macro is somewhat questionable...)

     
    Last edit: Marc Häfner 2016-03-25

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks