パスのサイズ変更

ができるようになりました。パスを選択して、プロパティの「Size」ラジオボタンを選ぶとサイズ変更ができるようになります。
普通はサイズ変更ツールみたいなのがあるところですが、例によって「図形を選択して何かする」という操作でやりたい！ということでこんなUIになってます。

そのほか細かいバグフィックスなど。地味に改良中。