我不确定是否有很多人都知道这个文本编辑器？
jEdit在2004年有点大,但是现在,Notepad ++似乎已经占据了主导地位(在Windows上)自2003年以来,许多插件都没有更新过,而且整体布局和使用情况令人困惑......
我敢肯定jEdit有许多漂亮的功能,但如果我能找到它们的位置以及如何使用它们,我会被诅咒.阅读该手册是一项全职工作.
将jEdit配置为IDE所需的步骤是什么？我基本上想编译和调试Java程序.有很多Java插件.我不确定哪些是最好的.
有没有让jEdits键盘控件的行为与原生Mac OS应用程序相同？
通过表现我的意思是命令+左移动插入符号到行的开头,alt + left移动到当前单词的开头等.
我希望能够使用jEdit编写,编译和测试用Scala编写的项目.如何配置它呢？
在对其他文本编辑感到沮丧之后,我最近发现了jEdit.它看起来像一个轻量级的编辑器,有这么多的插件,它可以成长为一个完整的IDE.我特别喜欢它如何处理SQL.我发现很多人乐意从Emacs转换为jEdit.但还没有找到从IDE转换的人.
我不是在争论哪个是最好的IDE.我只是想知道人们是否积极使用jEdit作为IDE,以及它与他们使用的其他IDE的比较.我一直试图让jEdit成为一个IDE,但它似乎需要相当多的配置,我担心它只是浪费时间.
我一直在 Isabelle 2019 会议上工作，该会议已经变得有点大，并且在某些时候我无法再isabelle build在我的 8G RAM 机器上使用它来构建它。尽管如此，当我使用 jEdit（运行isabelle jedit -d .）打开主理论文件时，会话的构建没有问题。
如何调整构建过程，使其像图形界面一样顺利运行？
接下来，我将提供更多细节。
主要症状是 Poly/ML 过程在某个时刻停止；它并没有真正失败，但不会在合理的时间内终止（大约 20 分钟，当成功构建在我的计算机中需要 3' 时）。
在开发过程中，调整使用ML_OPTIONSto"--minheap 5500"就足以解决这个问题，但后来我们决定将会话分成两部分（不再添加代码，只是更改了 ROOT 文件），之后没有进一步调整解决了问题。另一方面，一台具有 16G RAM 的机器无需任何进一步设置就可以毫无问题地构建。
编辑。我检查了 jEdit 使用的选项；那些相关的（我相信）是--minheap 500 --gcthreads 0（最后一个是默认值）。我尝试了这些但没有成功。我还注意到 build 命令有一个不同的--eval Command_Line.tool0 (fn () => (Build.build "/tmp/isabelle-pedro/buildNNNNNNNNNNNNN"))选项，其中NNNNNNNNNNNNN有一些数字。
在寻找轻量级Scala开发环境时,我遇到了jEdit 的Scala编辑模式.不过,我不知道如何使用它.如何在jEdit中添加新的编辑模式？
它的源代码包含以下部分:
<pre> text
</pre>
long long text
<pre> text
</pre>
long long text
我必须找到这个条目
<pre> text
</pre>
在JEdit中用空格替换它.(我在JEdit文档中阅读了正则表达式规则.)
我的表达是:
<pre>([\.\n]*?)</pre>
但是找不到这个条目.
什么表达应该是正确的？
TL;DR：Isar 语言有编码约定吗？是否有必要尊重jEdit的折叠策略？
我的团队正在研究数学的形式化，因此我们的主要目的之一是获得可读的证明。考虑到这一点，我们尝试以中间事实（和标签，如果有的话）脱颖而出的方式编写证明：
from fact1 have
1: "Foo"
using Thm1 Thm2 by auto
then have
2: "Bar = FooBar"
by simp
also from 1 have
" ... = BarFoo"
by blast
除了有时这会产生大量“短线”（顺便说一句，我不知道这是否真的是一个问题）之外，它在某种程度上与 jEdit 折叠策略不兼容；折叠后，之前的代码块将如下所示：
from fact1 have
then have
also from 1 have
完全掩盖了论点。下面的格式也许更好：
from fact1
have 1: "Foo"
using Thm1 Thm2 by auto
then
have 2: "Bar = FooBar"
by simp
also from 1
have " ... = BarFoo"
by blast
并且，折叠之后，
from fact1
have 1: "Foo"
then …我想匹配，不与任何一端线.或!并且不与任何一端."或!"因此它应该同时匹配
say "bye"say "bye但不应该匹配：
say "bye.say "bye!say "bye."say "bye!"我尝试使用正面和负面的前瞻，尝试将它们用作正则表达式 AND 运算符中建议的AND，但我无法使其工作，我也不确定使用前瞻是可行的。