Rename text window > text editor#305

microbit-carlos merged 1 commit intobbcmicrobit:masterbbcmicrobit/PythonEditor:masterfrom

microbit-mark:patch-6microbit-mark/PythonEditor:patch-6Copy head branch name to clipboard