4 ms·
jEdit has this too. alt-backslash and ctrl-backslash toggle multiple selection/insert and rectangular selection/insert. So you can select multiple blocks of tex
by iron_ball 18y ago
jEdit has this too. alt-backslash and ctrl-backslash toggle multiple selection/insert and rectangular selection/insert. So you can select multiple blocks of text, then what you type will replace all of them at once.
- aaronblohowiak 18y agoWow, that's pretty awesome. Can you do this without using the mouse?
- iron_ball 18y agoOf course. jEdit uses standard shift+direction selection. And like most good text editors, you can map or remap any command to any key combination. My blog is in a state of utmost disrepair, but if I ever clear its personal content and reboot it as a professional blog, a "hey everybody, jEdit" post will be pretty early on. I think it strikes a nice balance between vim/emacs-like power and GUI-app usability, and as one of the few high-quality Java desktop apps, it's cross-platform.
- aaronblohowiak 18y agoPlease do! email me your blog info (not in your profile) so i can suscribe for when you get around to it. aaron.blohowiak@gmail.com
- iron_ball 18y agoIt's personal right now, I mean to privately archive the old content and start fresh. Once I get around to rebooting it, I'll self-promote by posting something here once I write something people might be interested in. Thanks for your interest, though!