mikutter

現在は、カスタムスキンの画像形式としてPNGのみが使えるが、SVGなどの形式を使えるようにしておきたい。

そのために、大半のコードが Skin["loading.png"] のようなコードで画像を取得している箇所を、 Skin["loading"] のように拡張子なしの書き方に置き換える。

拡張子がない場合は、SVG、PNG、JPGの順でファイルを探索し、最初に見つかった画像を利用する。また、Skin.#[]の引数はto_sされ、Symbolを指定できるようにする。