「設定がまるごと効いていない」と思いこんでいたのですが，これは私の勘違いでした。
改めていろいろ実験してみたところ，「フォント」が効いていないことが分かりましたが，他にもあるかどうかは分かりませんでした。
※フォントは見た目の印象ががらりと変わるので，設定全体が効いていないと勘違いしてしまったのでした。
不思議なのは，［ツール］→［設定の選択］→［設定の定義］で特定のものを選んだときに表示される設定内容が，開いているテキストの状態（既存ファイルを開いたのか，ファイルを開くで新規作成したのか）によって変わることです。
