Feb. 14, 2017
10:21 a.m.
On 14/02/2017 09:51, Christian Barra wrote:
[... snip lots of good stuff about the workshop ...]
Great to hear, and thanks for the update.
Mu Editor The editor works really well, we had some kind of glitch when you try to select and then copy the text, but apart from this great experience!
Depending on what you were seeing, it's possible you came up against this bug:
https://github.com/mu-editor/mu/issues/209
which has been fixed now. If it's something else, then please raise an issue.
TJG