Downloadページへ前リリースからの変化 設定ダイアログでスクリプトファイルを作成する際、空白やドットを含む名前を拒否するようにした Array.erase(Uint Uint)をString.erase(Uint Uint)と同じ動作になるよう新規に定義した Array.shallow_copyが普通のcop…