問題タブ [jedit]

jEditを頻繁に使用して xml ファイルを開きます。jEditで巨大なファイル（xyz.xmlなど、約900MBのファイルサイズ）を開こうとすると、たまたま失敗しました。
それ以降、jedit テキスト エディタでファイル (ファイル サイズ < 1MB) を開くたびに、大きなバッファ警告が表示されます
。バッファが非常に大きく、jEdit が応答しなくなる可能性があります。
この問題を解決する方法を教えてください。これを解決する唯一の方法は、エディタを再インストールすることですか?

isabelle_afp多くの理論が保存されているディレクトリがあるとしましょう。このディレクトリはライブラリであり、その中のファイルを変更する予定はありません。Isabelle/jEdit の起動時間を短縮したい (デフォルトではisabelle_afp、現在の理論が依存しているすべての理論が新たに処理される)。

このステップをスキップするにはどうすればよいですか? システム マニュアルには、 persistent heap imageを構築するように指示されています。そうする最も簡単な方法は何ですか？

また、Isabelle/jEdit にこのヒープ イメージをロードするように指示するにはどうすればよいでしょうか?

私はjEditを使用していますが、ファイルを作成してテストを実行したいと思います。ファイル自体ではなく、テストを実行するプロセスに興味があります。

だから私はこの単純な関数をFile.clj

そして、このテストはTheTest.clj

次に、ファイルを実行しますTheTest.cljが、次のように表示されます。

java.io.FileNotFoundException: File.clj (The system cannot find the file specified) (TheTest.clj:49)

誰かに教えてもらえますか？これが物事を行う方法であり、テストを実行する方法でない場合は:( jEditにある必要はありませんが、必要に応じてコマンドプロンプトに表示される場合があります。また、leiningenをインストールしFile.cljてTheTest.clj同じディレクトリにあります。load-file関数でファイルへのパス全体を指定しようとしましたが、成功しませんでした。

よろしくお願いします！:)

問題: 一部の英単語が記号に翻訳されている

1. 英語の単語としてのギリシャ文字は記号に変換されます。
   • examplelambdaは、同等の小文字のギリシャ文字に変換されます。
2. 論理と数学の単語は記号に変換されます。
   • 例: and、or、in、exists、sum、div、はtop、記号が認識されない場合、記号または小さな空の四角形intに変換されます。pm
3. 範囲: Windows XP 32 ビット、Windows 7 64 ビット (jEdit 4.5.2 を使用)
4. この問題は、略語展開のように機能します。alpha を入力してからスペースを入力すると、jedit は小文字alphaのギリシャ文字 alpha に変換されます。
5. 私はこれと一緒に暮らすことを学びましたが、問題の解決策を見つけたいと思っています. どんな助けでも大歓迎です。これがカスタマイズの問題なのか、機能なのかバグなのかはわかりません。

ここ、特にこのセクションに関する wiki トピックが既にあるので、これは簡単な質問だと思いました。ただし、wikiは古くなっています。ここ Stackoverflow には、これらの古い wiki トピックへの参照しかない以前の質問があります。NetBeans wiki は、古いバージョンの NetBeans UI 用である必要があり、私は NetBeans 7.3 を使用しています。

7.3 で既存のソース オプションを使用しようとすると、まだ build.xml を持っていないと見なされ、続行できないことが示されます。

説明のために、jedit のソース コード フォルダーの構造を示すと役立つ場合があります。私は最新の jEdit ソース コードと 5.0 の安定したソース コードの両方を持っています。プロジェクトのレイアウトはおおよそ次のようになります。

ルート build.xml が配置されているフォルダーを見つけましたが、そのような project-with-existing-ant-build-script オプションがもうないように見えるため、wiki の指示に従うことができません。

そして今、フリーフォームオプションを試してみました...そしてそれも機能しません...

これまでのところ、自由形式のプロジェクトは、netbeans プロジェクトを作成できるという点で機能しますが、ディレクトリをスキャンすると、netbeans 内部が完全に混乱します。パスが「.」の一連のフォルダー。が追加され、重複する "." が 5 つ追加されます。フォルダー、およびプロジェクト ツリー ビューの 5 つの重複した「ソース パッケージ」エントリ。これは、フリーフォームの 2 番目の問題に関連している可能性があります。これは、jEdit をビルドして実行することはできませんが、netbeans の外部でビルドしようとすると発生しない奇妙なエラー メッセージが表示されるというものです。

プロジェクトペインの混乱により、ソース構造をナビゲートしたり表示したりできなくなります。

そして、それは構築されません:

それで、フリーフォーム プロジェクトはビルドされないので断念しました。

そして、ビルドフォルダーとbuild.xmlを削除した後、既存のソースでプロジェクトを開きますが、どちらも機能しません...

プロジェクトのソースコードをインポートしたい場合 (Java のみ、削除したため build.xml はありません)、ここで行き詰まります:

私は何をしようとしましたか？org、deおよびの下のディレクトリとして、ソースフォルダーを追加しようとしましたnet（上記の質問のソースツリーを参照してください）。ただし、netbeans は、ソース コードの ROOT フォルダーまで自動的に移動します。

ルート以外のフォルダーを選択することはできません。その下のフォルダーを選択すると、Netbeans が目的の場所に到達するまで常にフォルダー階層を上に移動してしまうためです。別に言われることはありません。

これにより、netbeans が、ルート ソース フォルダーとしてjedit/test使用しているため、含めることができないという、私にやろうと決めたことについて不平を言うようになります。jedit私が選択したものは何もありません (jedit/ の下のフォルダーの数に関係なく)、netbeans の動作が異なります。役立つように、サブディレクトリをたどることを主張します。Java の実世界のユーザーは、netbeans が処理できない方法でソース コードを構成している可能性があると考え始めています。

その他の情報

• 最新バージョンの ant を使用している限り、jedit のソースを使用しantたデフォルトの出荷に対してシェルからビルドすることは問題なく動作します。build.xmlant を再インストールすると、コマンド ライン ビルド機能が修正されました。

• antMac OS X ボックスがコマンド ラインで jEdit 5.0 をビルドする前に、apache Web サイトから最新バージョンをインストールする必要があることがわかりました。ant私の netbeans app bundle 内のバージョンは異なる場合があります。

• OS X 10.8 を使用しており、Java 1.5、1.6、および 1.7 がインストールされており、現在 Java 1.6 に対してビルドしています。

• 私には、Netbeans が Maven プロジェクトを堂々と優雅に開いているように思えます。これは、Maven プロジェクトが一般に標準の Java ディレクトリ レイアウトに従っているためです。Ant ベースのビルドも、ネーミングとレイアウトの標準が Netbeans に理解できる範囲で適切にインポートされているようですが、jEdit は Netbeans が現在の形式できれいに処理できないようです。

これは単純なはずです。私はJavaを学んでおり、Linuxボックスで軽量であるためjEditを使用したいと考えています。Eclipse では、すべてのポイント アンド クリックでビルド パスの下に外部ライブラリを追加するオプションがあります。したがって、Eclipse では、jar へのパスは /opt/andev/lib です。jEdit に移植すると、この構文はどこに移動しますか? 検索しましたが、質問を適切に表現しているとは思わないので、日食から比較機能を提供しました。

ありがとう！

Jeditと正規表現を使用して、ファイルのいくつかのコードのテキストを置き換えています。

次のような同様の開始と終了がたくさんあります。

または

次に、次を使用して検索します。

そして、すべての行を次のように置き換えたい:

そのため、最初と中央のテキスト行の最後に、必ずしも等しいとは限らないコードが追加されます。

私は使用してみました：

しかし、成功せずに。誰かが正しい正規表現をどのように使用すればよいか教えてもらえますか?

前もって感謝します！

マティアス

私は通常、jEdit で 2 つのビュー (分割ペイン) を使用します。また、BufferTabs を使用するのも好きです。私の最後のコンピューターでは、2 つのビューの下に BufferTabs セクションを 1 つ持つことができ、そこから両方のビューを変更できました (どちらがアクティブかによって異なります)。新しいインストールでは、ビューごとに BufferTab があります。単一の BufferTab を取り戻す方法を知っている人はいますか?