みなさん、micro:bit使ってますか？ オフィシャルではMakeCodeエディターでブロックとJavaScript、PythonエディターでMicroPythonを使ってプログラミングができますよね。 どちらの環境も非常に良くできていると思うのですが、次のようなちょっとした不満な…