plugin.properties
来自「protege在eclipse里的插件。安装之后就可以在eclipse里直接使用」· PROPERTIES 代码 · 共 4 行
PROPERTIES
4 行
plugin.component.count=1
plugin.component.name.0=RDF Backend
plugin.component.about.0=about_rdf_backend.html
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?