プラグインが拡張をワークベンチ・ユーザー・インターフェースにコントリビュートした後では、プラグインでは一般的に、ユーザーがユーザー設定を使用してそのプラグインの一部の振る舞いを制御できるようになります。
プラットフォーム UI は、プラグイン設定の保管およびワークベンチの「設定」ダイアログのページでのプラグイン設定の表示をサポートします。プラグイン設定は、キー/値のペアです。 キーは設定の名前を記述し、値はさまざまなタイプの 1 つとなります。(ランタイム設定インフラストラクチャーについて詳しくは、 『ランタイム設定』を参照してください。)
プラグインは、どのようにして設定を表示するページを組み込むのでしょうか? README ツールの例を使用して、ワークベンチへの設定ページの組み込みがどのように行われるのかを確認し、次に設定ページをビルドするための基本的なサポートを確認します。