問題タブ [jedit]

これはへのフォローアップです

Isabelle にプリコンパイル済みヒープ イメージをロードする

今、私はWindowsにいます。Nominal2 ヒープ イメージを標準の場所に作成しました。

Theories パネルで選択してロードできません。

cygwin bash スクリプトから開始しようとしましisabelle jedit -d ... -l ...たが、うまくいきませんでした。含まれていたスクリプト

しかし、id は何もしませんでした。jEdit は起動しませんでした。

ビルド済みの Nominal2 イメージを自動的にロードする実行可能ファイルを作成するにはどうすればよいですか? または、Isabelle/jEdit に Nominal2 イメージが標準ヒープの場所にあることを知らせますか?

更新: ユーザーのホーム ディレクトリからメイン ヒープ ディレクトリにイメージをコピーしました。

Nominal2Isabelle/jEdit を再起動しましたが、セッション画像のメニューが見つかりませんでした。

私はプログラマーではなく、本の編集者であり、タスクを自動化する必要があります。<p>本全体をプログラムに読み込んで、各段落の前と後に追加できるようにする必要があります</p>。現在、メモ帳で本全体を調べて手動で行う必要があります。

Guido Henkel は、彼の著書「Zen of eBook Programming」で次のように説明しています。

• 本全体のテキストをテキスト エディタにコピーします。
• 正規表現の検索と置換を実行します。

jEdit プログラムで「正規表現の検索と置換」を行うには、どこに行けばよいですか? jEdit の設定やプラグインのインストールは必要ですか?

検索ボックスの上部に「検索」と表示されます。使用するコードがあります。プログラムを開いたとき、見知らぬ国にいるという衝撃を経験しただけです。誰か助けて？

JEdi​​t 用の Git プラグインをインストールしましたが、それを機能させる方法がわかりません。私は現在SVNプラグインを使用しており、これに問題はありませんが、作業はgitlabへの変更を求めています.

gitlab リポジトリへのアクセスを設定する場所と、URL または SSH URI として期待されるもの

Jedit を 7zip の外部エディターとして使用しようとしています。

7zip は Jedit を外部エディターとして開きますが、Jedit が以前に実行されていなかった場合にのみ、編集内容が保存されます。-noserver または -newview コマンドライン引数を外部エディタとして Jedit に渡す必要があるかもしれませんが、そうすると 7zip で「エディタを起動できません」というエラーが表示されます。

Jedit を 7zip の外部エディターとして使用して、編集内容が保存されるようにするにはどうすればよいですか?

jEdit はクロスプラットフォームであり、必要なすべての機能 (Java 正規表現、キーストローク マクロなど) を備えているため、テキスト エディターとして使用します。ただし、新しいコンピューターにセットアップして、設定 (キーボード バインド、ファイル保存オプションなど) を同期するのは面倒です。

誰かがこれを行う良い方法を提案できますか? 理想的には、バックグラウンドで同期する必要があります。おそらく、Dropbox フォルダーに書き込みます。jEdit プラグインを調べましたが、何もないようです。

ありがとう！

jEdit 4.0 で動作していた古い jEdit プラグインに取り組んでいます。jEdit 5.3 用に更新しようとしています。プラグイン (.jar) を更新する必要がある主な理由の 1 つは、BufferChangeListener と BufferChangeAdapter が非推奨になったことです。代わりに new BufferListener を使用する必要があります。

コンパイルすると、無関係な問題と思われる問題が発生します。「.1」、「.2」、「.3」、「.4」は好きではありません (例: AssetBrowserDockableWindow.1)

AssetBrowserDockableWindow は、「.1」、「.2」、「.3」、「.4」などのメソッドやクラスを持たないクラスです。そして、私が知る限り、そのようなメソッドやプロパティを継承していません。

ただし、前のコードでは、次のようなスニペットが表示されます。

.

.

.

私error: <identifier> expectedはそれらの番号に「 」を取得します。私は誰かがそれらの数字が何のためにあったのか説明できることを望んでいました. 基本的なことで、適切な用語を探していない場合は申し訳ありません。誰かが私を正しい方向に向ける何らかの洞察を提供できるなら、私はそれを感謝します.

.xsltファイルを jEdit で XML として強調表示したい。

jEditでそれを行う方法は?