To avoid confusion, don't show Cut/Copy/Paste in HTML menus. They'll only work in the native shell, with specially bound native menu items.
Whenever Linux native menu support lands, these menu items will automatically be exposed, and they should work at that point. In "in-browser" mode, the menu items will forever stay hidden, since there's simply no way to make them work there.
Fix/mitigate bug #6722 (Linux: menu items cut/copy/paste not working)…
… - To
avoid confusion, don't show Cut/Copy/Paste in HTML menu. They'll only work
in the native shell, with specially bound native menu items.
Well, it must be possible to get them working in-browser, as they do work in the CM demo as well...
@SAPlayer What do you mean with it is working with the CM demo?
Well, in the CodeMirror demo (http://codemirror.net), you can copy, cut and paste whatever you want.
We should be able to do that as well, I guess.
But of course we don't have an official in-browser approach yet, so we don't need to worry our brains.
But that is because the Browser is adding those menus automatically, and not CodeMirror. We can't do that with the html menus.
Oh well, I thought about Ctrl-C, Ctrl-X and Ctrl-V the whole time, sorry.
The shortcuts still work fine. The menus are the issue since you can't execute Cut/Copy/Paste from JS.
Yep -- in-browser, you can have the default native menu with working cut/copy/paste items; or you can have a custom HTML-rendered menu without cut/copy/paste. Those are your only choices (unless you ask to install a browser extension, like Google Docs does).
Tested on Linux. Menu items have been removed, keyboard shortcuts are still working.