問題タブ [jedit]

Isabelle/jEdit でのカラー コードの意味は何ですか? Isabelle/jEdit マニュアルにそれらの説明が見つかりませんでした。唯一書いてあるのは

証明者のフィードバックは、色、ボックス、波線、ハイパーリンク、ポップアップ ウィンドウ、アイコン、クリック可能な出力を介して機能します。これらはすべて、Isabelle がバックグラウンドで生成したセマンティック マークアップに基づいています。

色は、プルーフ スクリプトの背景として、およびスクロールバーの横の垂直バーで使用されます。

ドキュメントを参照するか、ここで説明していただけますか?

このエンコーディングは、テキスト エディターの構成で見つかりました。UTF-8Y の意味と UTF-8 との違いは何ですか?

構文を強調表示するエディターにStandaloneTextArea (STA) コンポーネントを使用しています。関数とキーワードを xml ファイルで定義する方法は知っていますが、STA のフォントと色をカスタマイズする方法がわかりません。

これが私がこれまでに試したことです：

私は何かを使って色を設定しようとしましたが、成功しませんでしたpainter:setStyle

のような色のプロパティがあることは知っていview.style.comment1ますが、構文の強調表示にカスタムの配色を適用するためにこれらを割り当てる方法は?

私はnotepad++の大ファンです。オープンソースでシンプルだからです。よりプロフェッショナルなツールにするお手伝いをしたいと思います。最近、オープンソースのエディタであるjeditも使用しています。この中で、オートコンプリート ポップアップという機能に惹かれました。オートコンプリート ポップアップでは、下の画像のようにすべてのエントリがシーケンス番号でリストされているため、ナビゲーション キーを使用して挿入する単語を見つけるのではなく、数字を使用して単語を挿入できます。さらに、より魅力的な現在の言語のすべてのキーワードをリストしています。私の質問は、メモ帳++でこれを達成できるとにかくあります...??

HTML、Javascript、またはテキストと混合した場合に、jEdit で PHP コードの背景色を変更するにはどうすればよいですか? このスクリーンショットのようなことをする方法を意味します: [dreamweaver の例] または、そのトリックを行う他の無料のエディターを提案します。

私は jedit を使用していますが、jedit で空白、タブ、および改行を表示するにはどうすればよいか知りたいです。これまでのところ、同じトグルボタンを作成しました。しかし、どのファイルを変更する必要があるかについての手がかりが得られません。