設定ファイルエディタ

提供: Opera Wiki
移動: 案内, 検索

設定ファイルエディタとは、上級者向けの設定変更ツールです。これを使うと、設定ダイアログではできないような高度な設定変更が、可能となります。なおこのツールは、あくまで"上級者向け"です。なので、"初心者の方が使用する"事や"自身がよく分からない設定を変更する"のは、止めて下さい。

設定ファイルエディタ

目次

[編集] 公式ページ

[編集] 表示方法

設定ファイルエディタを表示するには、アドレス表示・入力ボックスの中に、「 opera:config 」と入力します。なお個別の設定項目を表示するには、最上部の検索ボックスに項目名を入力して下さい。すると1文字ごとに絞り込み(インクリメンタルサーチ)が実行されます。また個別の設定項目を直接アドレス表示・入力ボックスへの入力で表示するには、「 opera:config 」の後に「#」(シャープ)を付けて、その後に設定項目名を入力する方法もあります。

例: opera:config#AuthorDisplayMode

更に下の階層の項目を直接入力して表示するには「|」(縦棒)を付けて、その後に項目名を入力して下さい。

例: opera:config#AuthorDisplayMode|AuthorCSS

[編集] 設定項目

設定項目については、下記の記事をご覧下さい。

[編集] 設定の反映と初期化

設定変更後その設定を反映させるには、「保存」ボタンを押してください。なお設定によっては、Operaの再起動が必要な場合があります。 またそれぞれの項目の「デフォルト」ボタンを押すと、設定が初期化と同じ状態になります。その後「保存」ボタンを押せば、設定が初期化されます。

個人用ツール
名前空間

変種
操作
案内
ツール