Jedit是一个很棒的文本编辑器,我喜欢它真正的跨平台。我通常在 Windows 上使用它,最近花了很长时间在我的 linux 机器上处理一些东西,并注意到性能上的巨大差异。特别是在缓冲区之间切换比在 Windows 上花费的时间要长得多。
我正在使用 Ubuntu 8.10 和 Sun 的最新版本的 Java,尝试使用 -xms/x 从 128M 到 2048M,它似乎只影响加载程序所需的时间。我尝试升级到 repos (4.3pre17) 中最新的 jedit,但这也没有帮助。我禁用了所有插件(我使用了 projectview、buffertabs 和其他一些插件)但这并没有改变任何东西。
我不知道这是 jedit 特定的问题还是一般的 java 问题;jedit 是我以这种方式运行的唯一程序(在 .jar 上调用 java 等)有没有其他人运行它并且可以推荐一些调整以提高性能?
我使用 jEdit 作为文本编辑器,但让我感到困扰的是我找不到一种方法让标准下拉列表成为一系列选项卡,我发现它可以提供更好的概述。