eclipse-plugin - 如何向 Eclipse RCP 工具栏添加间隔符？

Question

我想在 Eclipse 工具栏上的两个按钮之间添加一个间隙。这两个按钮都在插件的 plugin.xml 中定义。我尝试按照以下 XML 片段指定分隔符，但没有显示任何内容。

<menuContribution locationURI="toolbar:com.bogus.viewId.MyView">
    <command
          commandId="com.bogus.filters.menu"
          icon="icons/filter.gif"
          label="Filter Menu"
          style="pulldown"
          tooltip="Filter Menu" />
 </menuContribution>
 <menuContribution locationURI="toolbar:com.bogus.viewId.MyView">
     <separator name="com.bogus.separator1" />
 </menuContribution>
 <menuContribution locationURI="toolbar:com.bogus.viewId.MyView">
    <command
          commandId="com.bogus.commands.dangerous"
          icon="icons/bomb.png"
          label="BOOM!"
          tooltip="BOOM!" />
 </menuContribution>

作为旁注，有谁知道我在哪里可以找到 plugin.xml 文件的体面模式定义？这是迄今为止我能找到的最好的，但它很差。

http://help.eclipse.org/galileo/index.jsp?topic=/org.eclipse.platform.doc.isv/reference/misc/plugin_manifest.html

Answer 1

所以结果是分隔符元素可以有一个 'visible' 属性，并且必须设置为 true。

<separator name="com.bogus.separator1" visible="true" />

我通过随机谷歌搜索发现了这一点。仍然无法为 plugin.xml 找到合适的架构定义。