问题标签 [jedit]

我最近开始使用 Isabelle/jEdit。我为 Simpl AFP 条目创建了一个堆映像。我使用命令行isabelle build工具来创建新图像。我可以通过 ProofGeneral 和Isabelle/Eclipse查看和使用该图像。不幸的是，我无法通过 jEdit 看到它。

如果使用：

我可以看到 Simpl，但我相信它只是即时重建 Simpl 图像。

有任何想法吗？

这是位于预期位置的堆：

这是我的系统的样子：

Isabelle/jEdit 中的颜色代码是什么意思？我在Isabelle/jEdit 手册中找不到他们的描述。它唯一写的是

证明者反馈通过颜色、框、波浪下划线、超链接、弹出窗口、图标、可点击输出来工作——所有这些都基于 Isabelle 在后台生成的语义标记。

颜色用作校样脚本背景和滚动条旁边的垂直条。

你能指出一些文件或在这里解释吗？

我在文本编辑器的配置中发现了这种编码。UTF-8Y 是什么意思，它与 UTF-8 有何不同？

我将StandaloneTextArea (STA) 组件用于具有语法突出显示的编辑器。我知道如何通过 xml 文件定义函数和关键字，但我不知道如何自定义 STA 的字体和颜色。

这是我到目前为止所尝试的：

我尝试了一些设置颜色的方法，但没有成功painter：setStyle

我知道有颜色属性view.style.comment1，但是如何分配这些属性以便将自定义配色方案应用于语法突出显示？

我是notepad++的忠实粉丝。因为它是开源的和简单的。我想帮助使它更专业的工具。最近几天，我使用了jedit也是一个开源编辑器。在这个我被一个叫做自动完成弹出的功能所吸引。在它自动完成弹出所有条目都列出了序列号，如下图所示，所以我可以简单地使用数字来插入单词，而不是使用导航键来定位我想要插入的单词。此外，它列出了更具吸引力的当前语言的所有关键字。我的问题是无论如何我可以在记事本++中实现这一点......？？

在Isabelle/HOL 教程的第 4.1.2 节中，我们发现

按照惯例，只要 Proof General 的 X-Symbol 模式或 LaTeX 输出处于活动状态，就会启用“xsymbols”模式。

现在，随着 Proof General 的衰落，xsymbols 有什么相关性吗？

与 HTML 或 Javascript 或文本混合时，如何在 jEdit 中更改 PHP 代码的背景颜色？我的意思是如何做这样的截图：[dreamweaver 示例] 或建议任何其他免费的编辑器来做到这一点。

一切尽在标题中。

如果一个已经打开了三个文件：

• /some/relatively/long/path/dir1/file_a
• /some/relatively/long/path/dir1/file_b
• /some/relatively/long/path/dir2/file_a

文件下拉列表包含：

这让我很困扰，因为我必须向右看以区分两者file_a，而在左侧看其他人。这对我来说经常发生，主要是因为我在 python 中编码，因此我经常__init__.py打开几个文件。

如何让 jedit 显示

配置：

• 杰迪特 5.1.0
• java 1.6.0_26
• macOS 10.6

I am trying to build the source code for jEdit project inside eclipse. In generally it gives a lots of error like as the below screenshot:

However, running the ant build command results in successful build output. I have added ant builder in the project properties and now running the 'Project->build' option results in ant build output which is also successful.

Now, how can I resolve the errors shown in eclipse 'Problems tab'? Shouldn't all dependencies etc be already inside the project as it succeeded the build?

我正在使用 jedit，我想知道如何使空白、制表符和换行符在 jedit 中可见。到目前为止，我已经创建了相同的切换按钮。但没有得到任何线索我应该修改哪个文件。