mikutter blog

mikutterのアナウンスなど

2011-11-07から1日間の記事一覧

プラグインが提供する設定項目とUI

プラグインを作っていると、設定を保存したいことが出てきます。ただの数字一つを保存するために、いちいちファイルに保存するのは非常にアレです。設定値の保存と読み込みそんなときは、UserConfigを使いましょう。以下のように使えば、mikutterの設定ファ…