[Microbit-Python] [Pythonedu-wg] [Microbit:Polska] Feedback after the first workshop!

[Tim Golden]

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