１０入れました。機能的にはあれこれ増えてていいですね。
左のウインドウがきれいになったのとシンボルとワープが
目玉です。８はスタイルとかがないからなあ。重要な機能だと
思うけど。