[jedit:plugin-patches] #190 Console: enable copy and paste
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-patches/190/f354b2af1aa64404e61a6f46c0a57a73008e5ec2.plugin-patches@jedit.p.sourceforge.net> |
- **assigned_to**: Alan Ezust --- ** [plugin-patches:#190] Console: enable copy and paste** **Status:** open **Created:** Mon Sep 26, 2022 11:19 PM UTC by Jim LeFevre **Last Updated:** Sun Nov 13, 2022 02:19 PM UTC **Owner:** Alan Ezust **Attachments:** - [Console.patch](https://sourceforge.net/p/jedit/plugin-patches/190/attachment/Console.patch) (3.2 kB; text/x-patch) The Console documentation mentions that Ctrl-C and Ctrl-V can be used in the Console pane to copy and paste text, but these shortcuts were not working work for me. After these changes, the shortcuts work. I also updated a couple of deprecated and removed function calls that were giving me error messages when using commando commands. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-patches/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel