jEdit has multiple selection, but doesn't have multiple caret editing, e.g., https://www.youtube.com/watch?v=xnKN0T_UBgU. Is it possible to add that feature? Thanks.
Submitted | ahlearn - 2015-08-08 18:33:19.441000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | none |
Resolution | None |
2017-10-28 23:34:28.917000 ngc |
Does this macro help a bit?
|
---|---|
2017-10-29 00:21:52.270000 ngc |
And here is a macro which will select all your end-of-lines for the current selection(s)
|
2017-10-30 14:21:42.499000 ahlearn |
But MultipleSelection cannot edit / delete text outside of the selection.. |
2017-10-30 14:28:00.808000 ngc |
You didn't try, did you?
|
2017-10-30 14:38:22.231000 ngc |
https://youtu.be/XDuho3-nt4c
|
2017-10-30 22:15:09.502000 ezust |
Wow, that's pretty cool! Perhaps we should add those macros to jEdit, although perhaps it needs some work still? |
2017-10-31 10:04:23.131000 ngc |
|