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