設定ファイルエディタ
提供: Opera Wiki
設定ファイルエディタとは、上級者向けの設定変更ツールです。これを使うと、設定ダイアログではできないような高度な設定変更が、可能となります。なおこのツールは、あくまで"上級者向け"です。なので、"初心者の方が使用する"事や"自身がよく分からない設定を変更する"のは、止めて下さい。
目次 |
[編集] 公式ページ
[編集] 表示方法
設定ファイルエディタを表示するには、アドレス表示・入力ボックスの中に、「 opera:config 」と入力します。なお個別の設定項目を表示するには、最上部の検索ボックスに項目名を入力して下さい。すると1文字ごとに絞り込み(インクリメンタルサーチ)が実行されます。また個別の設定項目を直接アドレス表示・入力ボックスへの入力で表示するには、「 opera:config 」の後に「#」(シャープ)を付けて、その後に設定項目名を入力する方法もあります。
例: opera:config#AuthorDisplayMode
更に下の階層の項目を直接入力して表示するには「|」(縦棒)を付けて、その後に項目名を入力して下さい。
例: opera:config#AuthorDisplayMode|AuthorCSS
[編集] 設定項目
設定項目については、下記の記事をご覧下さい。
[編集] 設定の反映と初期化
設定変更後その設定を反映させるには、「保存」ボタンを押してください。なお設定によっては、Operaの再起動が必要な場合があります。 またそれぞれの項目の「デフォルト」ボタンを押すと、設定が初期化と同じ状態になります。その後「保存」ボタンを押せば、設定が初期化されます。