I have another bug that appear some times.
Using last dev build (2083), linux 32 bit version.
Sometimes, when I select text with Ctrl + A, then Ctrl + C doesn’t copy anything.
But if I make the same selection by putting the cursor at start, then click at end with “shift” enabled, it works…
Thanks