Bug in codemirror with linux

#1

I’m running tw 5.2.3 node server with 5.2.3 codemirror plugin. I am on linux. On this system (under X graphics system), you can copy simply by selecting (into one of two copy buffer) and then click to paste, which is very very handy! This lacks dearly under windows BTW.

But with code mirror plugin active, such a copy is no more possible within codemirror-edited text fields, although it is OK eleswhere, in particular in edit widget of edited tiddlers (like the title). It is available on the text of non-edited tidders.

Has someone else also spotted this bug?

#2

Does this codemirror demo exhibit the same issue?
https://codemirror.net/5/

#3

I could not try v5 on this site but I could for the v6 (under “try” menu item). The bug is the very same there.

But it is concerning only firefox. chromium is not affected. I need to dig deeper to find out what is wrong. I have already checked than under chromium, my own node server is not affected. This proves it is a firefox problem, maybe linked to my firefox settings.