scala – 如何向jEdit添加编辑模式？

发布时间：2020-12-16 18:14:55 所属栏目：安全来源：网络整理

导读：在寻找轻量级 Scala开发环境时,我为jEdit找到了 Scala edit mode.不过,我不知道如何使用它.如何在jEdit中添加新的编辑模式？解决方法所有这些都可以在jEdit的帮助中找到,使用jEdit – 编写编辑模式 – 安装编辑模式.但是,如果你像我一样,并首先尝试过Stack

在寻找轻量级 Scala开发环境时,我为jEdit找到了 Scala edit mode.不过,我不知道如何使用它.如何在jEdit中添加新的编辑模式？

解决方法

所有这些都可以在jEdit的帮助中找到,使用jEdit – >编写编辑模式 – >安装编辑模式.但是,如果你像我一样,并首先尝试过StackOverflow,这就是它的缺点.

将模式文件(在本例中为scala.xml)放在jEdit主目录的“modes”目录中 – 这可以通过Utilities菜单找到 – 如果你想要它适用于所有用户,或者是“modes”目录中的用户的jEdit设置指令 – 如果新模式仅由一个用户使用,也可以通过“实用工具”菜单找到.

之后,编辑同一目录中的文件“catalog”.它包含支持的模式列表.如果您正在处理设置目录,则不会有任何示例用作参考,但主目录中的目录有很多.

对于引用的模式,设置目录编目如下所示：

<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">

<MODES>

<!-- Add lines like the following,one for each edit mode you add: -->
<!-- <MODE NAME="foo" FILE="foo.xml" FILE_NAME_GLOB="*.foo" /> -->

<MODE NAME="scala"      FILE="scala.xml"
                FILE_NAME_GLOB="*.scala" />

</MODES>

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!