[jedit:plugin-patches] Re: #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/3ad559fbeb6cc4f380f1b6ed8b1f0fb60ae0d6fd.plugin-patches@jedit.p.sourceforge.net> |
i'm using kubuntu/kde --- ** [plugin-patches:#190] Console: enable copy and paste** **Status:** open **Created:** Mon Sep 26, 2022 11:19 PM UTC by Jim LeFevre **Last Updated:** Sat Nov 12, 2022 04:46 PM UTC **Owner:** nobody **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