Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/java/393.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java 是否可以在源查看器中显示其他文本_Java_Jface - Fatal编程技术网

Java 是否可以在源查看器中显示其他文本

Java 是否可以在源查看器中显示其他文本,java,jface,Java,Jface,我想更改源查看器中显示的文本 文档内容应该是@ref{001}存在。并且应该在源代码查看器中显示为“标签001存在” 编辑时,“标签001”开头的退格和/或删除应删除整个块 有人知道怎么做吗?或者另一个组件也可以这样做?让我说对了:您希望您的文档内容与在源代码中检查时显示的内容不同吗?是的,类似于具有很少替换模式的所见即所得编辑器。我怀疑是否存在这样的编辑器,如果它存在,将导致更多问题:想象一下,如果实际文本确实存在“001的标签存在。”如何区分这两个文本?使用不同的格式,这就是为什么我将标签设

我想更改源查看器中显示的文本

文档内容应该是@ref{001}存在。并且应该在源代码查看器中显示为“标签001存在”

编辑时,“标签001”开头的退格和/或删除应删除整个块


有人知道怎么做吗?或者另一个组件也可以这样做?

让我说对了:您希望您的文档内容与在源代码中检查时显示的内容不同吗?是的,类似于具有很少替换模式的所见即所得编辑器。我怀疑是否存在这样的编辑器,如果它存在,将导致更多问题:想象一下,如果实际文本确实存在“001的标签存在。”如何区分这两个文本?使用不同的格式,这就是为什么我将标签设置为斜体。