问题标签 [jedit]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
isabelle - 无法在 Isabelle/jEdit 中选择构建的会话图像
这是一个后续行动
现在我在 Windows 上。我在标准位置创建了一个 Nominal2 堆映像：
我无法在“理论”面板中选择它来加载。
我尝试isabelle jedit -d ... -l ...从 cygwin bash 脚本开始，但没有奏效。脚本包含
但 id 什么也没做，jEdit 没有出现。
如何创建一个可执行文件来自动加载我预构建的 Nominal2 映像？或者，让 Isabelle/jEdit 知道标准堆位置中有一个 Nominal2 图像？
更新：我将图像从用户的主目录复制到主堆目录：
并重新启动 Isabelle/jEdit 但我在菜单中找不到Nominal2会话图像。
jedit - 在 jEdit 中查找正则表达式搜索
我不是程序员，我是书籍编辑，需要自动化任务。我需要能够将我的整本书加载到一个程序中，以便<p>在每个段落之前和每个段落</p>之后添加。目前我必须在记事本上阅读整本书并手动完成。
Guido Henkel 在他的《电子书编程之禅》一书中这样描述它：
- 将整本书的文本复制到文本编辑器中。
- 运行正则表达式搜索和替换。
jEdit程序中的“正则表达式搜索和替换”到哪里去？jEdit 是否需要设置或安装插件？
搜索框顶部显示“找到”我有我应该使用的代码；只是当我打开程序的时候，我体验到了置身于陌生国度的震撼。有人帮我吗？
macos - jEdit 从 mac 上的cyberduck FTP 启动
我选择的编程文本编辑器是 Mac 上的 jEdit，但我在安装新版本时遇到了问题。
Cyberduck（mac 桌面 FTP 客户端）曾经能够启动文件进行编辑。这已停止工作。它将文件下载到一个临时目录就好了。我可以打开文件，事实上 FTP 同步机制仍然可以正常工作（cyberduck 检测到文件更改并将它们发送回来）但文件不再自动打开。Cyberduck 中的“编辑”按钮进行下载，触发 jEdit 以获取窗口焦点，但文件未打开。
jEdit的文件启动机制是如何工作的？我该如何调试这个新问题？
我尝试将cyberduck设置为启动TextEdit，这很好，所以这是jEdit如何启动的问题。
xml - jEdit XML Sidekick 无法处理 XHTML5
我有一个 XHTML5 文档。这只是意味着我正在创建一个 HTML5 文档，但我希望所有结束标记都存在并且我想要适当的编码等。所以文件扩展名是xhtml并且文件以：
所有这些都是完全标准的东西。只是用 XML 编码的简单 HTML5。
我使用 XML Sidekick 插件安装了 jEdit 5.3.0。我立即得到一个错误列表，上面写着：
Sidekick 的轮廓看起来很酷，提示元素和属性名称的弹出窗口也不错。
但是我如何摆脱所有这些错误呢？我不需要也不想要 DTD。
如果我将解析器更改为htmlthen 我不会收到任何错误 --- 但我也不会收到任何 DOM 树表示或自动建议。
为什么 jEdit+Sidekick 不喜欢我的简单、符合标准的 XHTML5 文件？
plugins - Jedit git插件使用
我已经为 JEdit 安装了 Git 插件，但不知道如何使它工作。我目前使用 SVN 插件，对此没有任何问题，但工作要求更改 gitlab。
我在哪里设置对 gitlab 存储库的访问权限以及它期望的 URL 或 SSH URI
7zip - 如何使用Jedit作为7zip的外部编辑器
我正在尝试使用 Jedit 作为 7zip 的外部编辑器。
7zip 将 Jedit 作为外部编辑器打开，但只有在 Jedit 之前没有运行时才会保存编辑。我可能应该将 -noserver 或 -newview 命令行参数作为外部编辑器传递给 Jedit，但是当我这样做时，7zip 会出现错误：“无法启动编辑器”。
我如何使用 Jedit 作为 7zip 的外部编辑器，以便将编辑保存回来？
jedit - 如何在多台计算机之间同步 jEdit 设置
我使用 jEdit 作为文本编辑器，因为它是跨平台的，并且具有我需要的所有功能（Java 正则表达式、按键宏等）。但是，在新计算机上进行设置和同步设置（键盘绑定、文件保存选项等）很痛苦。
任何人都可以建议这样做的好方法吗？理想情况下，它应该在后台同步，可能会写入 Dropbox 文件夹。我已经查看了 jEdit 插件，但似乎没有任何内容。
谢谢！
java - .1 .2 .3 .4 像 Java 类上的方法或属性一样使用什么？
我正在开发一个用于 jEdit 4.0 的旧 jEdit 插件。我正在尝试为 jEdit 5.3 更新它。我必须更新插件 (.jar) 的主要原因之一是 BufferChangeListener 和 BufferChangeAdapter 现在已弃用。我必须改用新的 BufferListener 。
编译时，我遇到了似乎无关的问题。它不喜欢“.1”或“.2”或“.3”或“.4”（例如 AssetBrowserDockableWindow.1）
AssetBrowserDockableWindow 是一个没有像“.1”或“.2”或“.3”或“.4”这样的方法或类的类。据我所知，它不会继承此类方法或属性。
但是，在前面的代码中，我看到如下代码片段：
.
.
.
我error: <identifier> expected在这些数字上得到“”。我希望有人能解释这些数字的用途。对不起，如果它是基本的东西，我不是在寻找合适的术语。如果有人可以提供任何可以为我指明正确方向的见解，我将不胜感激。
syntax-highlighting - jEdit：如何为给定扩展打开语法突出显示？
我希望.xslt在 jEdit 中将文件突出显示为 XML。
如何在 jEdit 中做到这一点？
java - 如何将 jar 库添加到 jEdit？
我想在 jEdit 中将 SwingSets3(BeautyEyeLNFDemo).jar 添加到我的程序库中。
通过在库文件夹上使用添加 jar/文件夹，我可以在 netbeans 中轻松做到这一点。
我尝试将 .jar 文件移动到程序文件夹和 Jedit 文件夹，但它确实有效。
我已经安装了一些 jEdit 插件，它们是：