[jedit:plugin-patches] Re: #190 Console: enable copy and paste
Jim LeFevre via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-patches/190/e4013d4966d81af6872c3d02e06f6e39fe734f2e.plugin-patches@jedit.p.sourceforge.net> |
I'm using Linux too (Arch Linux with i3 for a window manager). At first I thought i3 was intercepting these keystrokes but I tried running a different window manager, and it still didn't work. Maybe a full desktop environment such as GNOME would define these shortcuts for all applications, and I'm having problems because I'm using lightweight window managers. --- ** [plugin-patches:#190] Console: enable copy and paste** **Status:** open **Created:** Mon Sep 26, 2022 11:19 PM UTC by Jim LeFevre **Last Updated:** Fri Nov 11, 2022 03:00 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