変更を編集しオプション鉛筆設定ツールを書く - ユーザーインターフェイスとジェスチャーアイコン