こんにちは、jEdit で新しいビューを作成すると、新しいビューを編集すると、元のウィンドウのテキストにも影響することに気付きました。ユーザーが現在のデータを複製できる新しいビューを作成するにはどうすればよいでしょうか。表示されているビューのみで、古いビューには影響しませんか?
ソースコードで解決策を見つけようとすると、これに関連する設定があるようです : http://www.jedit.org/users-guide/buffersets.html設定。
1 に答える
3
独立した編集ウィンドウを作成するには、独立した設定ディレクトリを持つ独立した jEdit インスタンスを開始する必要があります。パラメータを使用して、設定を復元せずに新しい jEdit インスタンスを開始するか (これには、デフォルトの設定ディレクトリにインストールされたプラグインも含まれます) 、または独立した設定を持つ-nosettings別の設定ディレクトリで 2 番目の jEdit インスタンスを開始できます。-settings=/path/to/settings/directoryファイルを開く、プラグインを設定ディレクトリにインストールするなど。既存の設定ディレクトリをコピーして、ファイルを削除できます/path/to/settings/diretory/server2 番目のインスタンスに既存の設定のコピーを作成します。ただし、それ以降、設定は独立しており、あるインスタンスで設定やプラグインなどを変更した場合、設定ディレクトリを再度同期しない限り、他のインスタンスでは似ていません。
2 つの独立した実行中の jEdit インスタンスがあっても、一方のインスタンスにファイルを保存すると、もう一方のインスタンスは、ファイルがディスク上で変更されたことを通知するメッセージ ボックスを表示し、デフォルト オプションを構成しなかった場合の対処方法を尋ねます。
おそらく最も簡単な方法は、単に新しいバッファを開き、問題のバッファの内容をこの新しいバッファにコピー アンド ペーストすることです。これは、キーボード ショートカットまたはツールバー ボタンを割り当てることができるマクロによって行うこともできます。
于 2013-10-21T10:32:45.477 に答える