2015-01-01 23:17:32 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<?eclipse version="3.4"?>
|
|
|
|
<plugin>
|
|
|
|
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.views">
|
|
|
|
<category
|
|
|
|
name="TxViewer"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui">
|
2015-01-01 23:17:32 +01:00
|
|
|
</category>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.help.contexts">
|
|
|
|
<contexts
|
|
|
|
file="contexts.xml">
|
|
|
|
</contexts>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.editors">
|
|
|
|
<editor
|
2015-01-03 16:34:32 +01:00
|
|
|
class="com.minres.scviewer.ui.TxEditorPart"
|
|
|
|
contributorClass="com.minres.scviewer.ui.TxEditorActionBarContributor"
|
2015-01-01 23:17:32 +01:00
|
|
|
extensions="txdb"
|
2015-01-06 17:14:16 +01:00
|
|
|
filenames="*.txdb,*.txlog,*.vcd"
|
|
|
|
icon="res/images/scviewer.png"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui.TxEditorPart"
|
2015-01-01 23:17:32 +01:00
|
|
|
name="Wave Viewer">
|
|
|
|
</editor>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.views.properties.tabbed.propertyContributor">
|
|
|
|
<propertyContributor
|
2015-01-03 16:34:32 +01:00
|
|
|
contributorId="com.minres.scviewer.ui.TxEditorPart">
|
2015-01-01 23:17:32 +01:00
|
|
|
<propertyCategory
|
|
|
|
category="Transaction"></propertyCategory>
|
|
|
|
</propertyContributor>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.views.properties.tabbed.propertyTabs">
|
|
|
|
<propertyTabs
|
2015-01-03 16:34:32 +01:00
|
|
|
contributorId="com.minres.scviewer.ui.TxEditorPart">
|
2015-01-01 23:17:32 +01:00
|
|
|
<propertyTab
|
|
|
|
category="Transaction"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui.propertyTabTransaction"
|
2015-01-01 23:17:32 +01:00
|
|
|
label="Transaction">
|
|
|
|
</propertyTab>
|
|
|
|
<propertyTab
|
2015-01-03 16:34:32 +01:00
|
|
|
afterTab="com.minres.scviewer.ui.propertyTabTransaction"
|
2015-01-01 23:17:32 +01:00
|
|
|
category="Transaction"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui.propertyTabAttributes"
|
2015-01-01 23:17:32 +01:00
|
|
|
label="Attributes">
|
|
|
|
</propertyTab>
|
|
|
|
<propertyTab
|
2015-01-03 16:34:32 +01:00
|
|
|
afterTab="com.minres.scviewer.ui.propertyTabAttributes"
|
2015-01-01 23:17:32 +01:00
|
|
|
category="Transaction"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui.propertyTabRelated"
|
2015-01-01 23:17:32 +01:00
|
|
|
label="Related Tx">
|
|
|
|
</propertyTab>
|
|
|
|
</propertyTabs>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.views.properties.tabbed.propertySections">
|
|
|
|
<propertySections
|
2015-01-03 16:34:32 +01:00
|
|
|
contributorId="com.minres.scviewer.ui.TxEditorPart">
|
2015-01-01 23:17:32 +01:00
|
|
|
<propertySection
|
|
|
|
class="org.eclipse.ui.views.properties.tabbed.AdvancedPropertySection"
|
2015-01-03 16:34:32 +01:00
|
|
|
id="com.minres.scviewer.ui.propertySectionAll"
|
|
|
|
tab="com.minres.scviewer.ui.propertyTabTransaction">
|
2015-01-01 23:17:32 +01:00
|
|
|
<input
|
2020-11-28 14:47:43 +01:00
|
|
|
type="com.minres.scviewer.database.tx.ITx">
|
2015-01-01 23:17:32 +01:00
|
|
|
</input>
|
|
|
|
</propertySection>
|
|
|
|
<propertySection
|
2015-01-03 16:34:32 +01:00
|
|
|
afterSection="com.minres.scviewer.ui.propertySectionAll"
|
|
|
|
class="com.minres.scviewer.ui.views.sections.AttributeProperty"
|
|
|
|
id="com.minres.scviewer.ui.propertySectionAttributes"
|
|
|
|
tab="com.minres.scviewer.ui.propertyTabAttributes">
|
2015-01-01 23:17:32 +01:00
|
|
|
<input
|
2020-11-28 14:47:43 +01:00
|
|
|
type="com.minres.scviewer.database.tx.ITx">
|
2015-01-01 23:17:32 +01:00
|
|
|
</input>
|
|
|
|
</propertySection>
|
|
|
|
<propertySection
|
2015-01-03 16:34:32 +01:00
|
|
|
afterSection="com.minres.scviewer.ui.propertySectionAttributes"
|
|
|
|
class="com.minres.scviewer.ui.views.sections.RelatedProperty"
|
|
|
|
id="com.minres.scviewer.ui.propertySectionRelated"
|
|
|
|
tab="com.minres.scviewer.ui.propertyTabRelated">
|
2015-01-01 23:17:32 +01:00
|
|
|
<input
|
2020-11-28 14:47:43 +01:00
|
|
|
type="com.minres.scviewer.database.tx.ITx">
|
2015-01-01 23:17:32 +01:00
|
|
|
</input>
|
|
|
|
</propertySection>
|
|
|
|
</propertySections>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.core.runtime.adapters">
|
|
|
|
<factory
|
2020-11-28 14:47:43 +01:00
|
|
|
adaptableType="com.minres.scviewer.database.tx.ITx"
|
2015-01-09 09:16:40 +01:00
|
|
|
class="com.minres.scviewer.ui.adapter.TxAdapterFactory">
|
2015-01-01 23:17:32 +01:00
|
|
|
<adapter
|
|
|
|
type="org.eclipse.ui.views.properties.IPropertySource">
|
|
|
|
</adapter>
|
|
|
|
</factory>
|
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.elementFactories">
|
|
|
|
<factory
|
2015-01-03 16:34:32 +01:00
|
|
|
class="com.minres.scviewer.ui.TxEditorInputFactory"
|
|
|
|
id="com.minres.scviewer.ui.TxEditorInputFactory">
|
2015-01-01 23:17:32 +01:00
|
|
|
</factory>
|
|
|
|
</extension>
|
2015-01-10 00:23:46 +01:00
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.menus">
|
|
|
|
<menuContribution
|
|
|
|
allPopups="false"
|
|
|
|
locationURI="toolbar:org.eclipse.ui.main.toolbar">
|
|
|
|
<toolbar
|
|
|
|
id="com.minres.scviewer.ui.toolbar1">
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.gotoPrev"
|
|
|
|
label="Prev"
|
|
|
|
style="push"
|
|
|
|
tooltip="Go to previous event">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.gotoNext"
|
|
|
|
label="Next"
|
|
|
|
style="push"
|
|
|
|
tooltip="Go to next event">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
2015-01-21 21:58:35 +01:00
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
id="com.minres.scviewer.ui.zoom.command"
|
|
|
|
style="pulldown"
|
|
|
|
tooltip="Set zoom level">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoomin"
|
|
|
|
label="Zoom in"
|
|
|
|
style="push"
|
|
|
|
tooltip="Zoom into">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoomout"
|
|
|
|
label="Zoom out"
|
|
|
|
style="push"
|
|
|
|
tooltip="Zoom out of">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
2015-01-10 00:23:46 +01:00
|
|
|
</toolbar>
|
|
|
|
</menuContribution>
|
2015-01-21 21:58:35 +01:00
|
|
|
<menuContribution
|
|
|
|
locationURI="menu:com.minres.scviewer.ui.zoom.command">
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="100ps"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 100ps">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="5">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="1ns"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 1ns">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="6">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="10ns"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 10ns">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="7">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="100ns"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 100ns">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="8">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
2015-01-21 23:10:39 +01:00
|
|
|
label="1µs"
|
2015-01-21 21:58:35 +01:00
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 1us">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="9">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
2015-01-21 23:10:39 +01:00
|
|
|
label="10µs"
|
2015-01-21 21:58:35 +01:00
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 10us">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="10">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
2015-01-21 23:10:39 +01:00
|
|
|
label="100µs"
|
2015-01-21 21:58:35 +01:00
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 100us">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="11">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="1ms"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 1ms">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="12">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="10ms"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 10ms">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="13">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="100ms"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 100ms">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="14">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
label="1s"
|
|
|
|
style="push"
|
|
|
|
tooltip="Resolution 1s">
|
|
|
|
<parameter
|
|
|
|
name="com.minres.scviewer.ui.zoom.level"
|
|
|
|
value="15">
|
|
|
|
</parameter>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
2015-01-29 11:02:03 +01:00
|
|
|
<menuContribution
|
|
|
|
allPopups="false"
|
|
|
|
locationURI="popup:com.minres.scviewer.ui.TxEditorPart">
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.removeWave"
|
|
|
|
label="Remove"
|
|
|
|
style="push"
|
|
|
|
tooltip="Go to next event">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoomin"
|
|
|
|
label="Zoom in"
|
|
|
|
style="push"
|
|
|
|
tooltip="Zoom into">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.zoomout"
|
|
|
|
label="Zoom out"
|
|
|
|
style="push"
|
|
|
|
tooltip="Zoom out of">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.gotoPrev"
|
|
|
|
label="Prev"
|
|
|
|
style="push"
|
|
|
|
tooltip="Go to previous event">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
commandId="com.minres.scviewer.ui.gotoNext"
|
|
|
|
label="Next"
|
|
|
|
style="push"
|
|
|
|
tooltip="Go to next event">
|
|
|
|
<visibleWhen
|
|
|
|
checkEnabled="false">
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</visibleWhen>
|
|
|
|
</command>
|
|
|
|
</menuContribution>
|
2015-01-10 00:23:46 +01:00
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.commands">
|
|
|
|
<command
|
|
|
|
description="Go to next event"
|
|
|
|
id="com.minres.scviewer.ui.gotoNext"
|
|
|
|
name="Next">
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
description="Go to previous event"
|
|
|
|
id="com.minres.scviewer.ui.gotoPrev"
|
|
|
|
name="Prev">
|
|
|
|
</command>
|
2015-01-21 21:58:35 +01:00
|
|
|
<command
|
|
|
|
defaultHandler="com.minres.scviewer.ui.handler.Zoom"
|
|
|
|
description="Set the zoom level"
|
|
|
|
id="com.minres.scviewer.ui.zoom"
|
|
|
|
name="Zoom">
|
|
|
|
<commandParameter
|
|
|
|
id="com.minres.scviewer.ui.zoom.level"
|
|
|
|
name="level"
|
|
|
|
optional="true">
|
|
|
|
</commandParameter>
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
id="com.minres.scviewer.ui.zoomin"
|
|
|
|
name="Zoom in">
|
|
|
|
</command>
|
|
|
|
<command
|
|
|
|
id="com.minres.scviewer.ui.zoomout"
|
|
|
|
name="Zoom out">
|
|
|
|
</command>
|
2015-01-29 11:02:03 +01:00
|
|
|
<command
|
|
|
|
id="com.minres.scviewer.ui.removeWave"
|
|
|
|
name="Remove wave">
|
|
|
|
</command>
|
2015-01-10 00:23:46 +01:00
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.handlers">
|
2015-01-21 21:58:35 +01:00
|
|
|
<handler
|
|
|
|
class="com.minres.scviewer.ui.handler.GotoPrev"
|
|
|
|
commandId="com.minres.scviewer.ui.gotoPrev">
|
|
|
|
<enabledWhen>
|
|
|
|
<reference
|
2015-01-29 11:02:03 +01:00
|
|
|
definitionId="com.minres.scviewer.ui.oneTxSeleted">
|
2015-01-21 21:58:35 +01:00
|
|
|
</reference>
|
|
|
|
</enabledWhen>
|
|
|
|
</handler>
|
2015-01-10 00:23:46 +01:00
|
|
|
<handler
|
|
|
|
class="com.minres.scviewer.ui.handler.GotoNext"
|
|
|
|
commandId="com.minres.scviewer.ui.gotoNext">
|
|
|
|
<enabledWhen>
|
|
|
|
<reference
|
2015-01-29 11:02:03 +01:00
|
|
|
definitionId="com.minres.scviewer.ui.oneTxSeleted">
|
2015-01-10 00:23:46 +01:00
|
|
|
</reference>
|
|
|
|
</enabledWhen>
|
|
|
|
</handler>
|
|
|
|
<handler
|
2015-01-21 21:58:35 +01:00
|
|
|
class="com.minres.scviewer.ui.handler.ZoomInOut"
|
|
|
|
commandId="com.minres.scviewer.ui.zoomin">
|
2015-01-10 00:23:46 +01:00
|
|
|
<enabledWhen>
|
|
|
|
<reference
|
2015-01-21 21:58:35 +01:00
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
</reference>
|
|
|
|
</enabledWhen>
|
|
|
|
</handler>
|
|
|
|
<handler
|
|
|
|
class="com.minres.scviewer.ui.handler.ZoomInOut"
|
|
|
|
commandId="com.minres.scviewer.ui.zoomout">
|
|
|
|
<enabledWhen>
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.waveEditorActive">
|
2015-01-10 00:23:46 +01:00
|
|
|
</reference>
|
|
|
|
</enabledWhen>
|
|
|
|
</handler>
|
2015-01-29 11:02:03 +01:00
|
|
|
<handler
|
|
|
|
class="com.minres.scviewer.ui.handler.RemoveHandler"
|
|
|
|
commandId="com.minres.scviewer.ui.removeWave">
|
|
|
|
<enabledWhen>
|
|
|
|
<reference
|
|
|
|
definitionId="com.minres.scviewer.ui.oneWaveSeleted">
|
|
|
|
</reference>
|
|
|
|
</enabledWhen>
|
|
|
|
</handler>
|
2015-01-10 00:23:46 +01:00
|
|
|
</extension>
|
|
|
|
<extension
|
|
|
|
point="org.eclipse.core.expressions.definitions">
|
|
|
|
<definition
|
2015-01-29 11:02:03 +01:00
|
|
|
id="com.minres.scviewer.ui.oneWaveSeleted">
|
|
|
|
<with
|
|
|
|
variable="selection">
|
|
|
|
<and>
|
|
|
|
<count
|
|
|
|
value="1">
|
|
|
|
</count>
|
|
|
|
<iterate
|
|
|
|
operator="or">
|
|
|
|
<instanceof value="com.minres.scviewer.database.IWaveform"/>
|
|
|
|
</iterate>
|
|
|
|
</and>
|
|
|
|
</with>
|
|
|
|
</definition>
|
|
|
|
<definition
|
|
|
|
id="com.minres.scviewer.ui.oneTxSeleted">
|
2015-01-10 00:23:46 +01:00
|
|
|
<with
|
|
|
|
variable="selection">
|
|
|
|
<and>
|
|
|
|
<count
|
|
|
|
value="1">
|
|
|
|
</count>
|
|
|
|
<iterate
|
|
|
|
operator="or">
|
2020-11-28 14:47:43 +01:00
|
|
|
<instanceof value="com.minres.scviewer.database.tx.ITx"/>
|
2015-01-10 00:23:46 +01:00
|
|
|
</iterate>
|
|
|
|
</and>
|
|
|
|
</with>
|
|
|
|
</definition>
|
|
|
|
<definition
|
|
|
|
id="com.minres.scviewer.ui.waveEditorActive">
|
|
|
|
<with
|
|
|
|
variable="activeEditorId">
|
|
|
|
<equals
|
|
|
|
value="com.minres.scviewer.ui.TxEditorPart">
|
|
|
|
</equals>
|
|
|
|
</with>
|
|
|
|
</definition>
|
|
|
|
</extension>
|
2015-01-21 21:58:35 +01:00
|
|
|
<extension
|
|
|
|
point="org.eclipse.ui.commandImages">
|
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.gotoPrev"
|
|
|
|
disabledIcon="res/images/previous-green-d.png"
|
|
|
|
icon="res/images/previous-green.png">
|
|
|
|
</image>
|
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.gotoNext"
|
|
|
|
disabledIcon="res/images/next-green-d.png"
|
|
|
|
icon="res/images/next-green.png">
|
|
|
|
</image>
|
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.zoom"
|
|
|
|
icon="res/images/zoom.png">
|
|
|
|
</image>
|
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.zoomin"
|
|
|
|
icon="res/images/zoom_in.png">
|
|
|
|
</image>
|
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.zoomout"
|
|
|
|
icon="res/images/zoom_out.png">
|
|
|
|
</image>
|
2015-01-29 11:02:03 +01:00
|
|
|
<image
|
|
|
|
commandId="com.minres.scviewer.ui.removeWave"
|
|
|
|
icon="res/images/cross.png">
|
|
|
|
</image>
|
2015-01-21 21:58:35 +01:00
|
|
|
</extension>
|
2015-01-01 23:17:32 +01:00
|
|
|
|
|
|
|
</plugin>
|