Non-default values are now highlighted in the InstructionTable

[Mograsim.git] / plugins / net.mograsim.plugin.core / plugin.xml

diff --git a/plugins/net.mograsim.plugin.core/plugin.xml b/plugins/net.mograsim.plugin.core/plugin.xml
index 79cd428..e431d6e 100644 (file)
--- a/plugins/net.mograsim.plugin.core/plugin.xml
+++ b/plugins/net.mograsim.plugin.core/plugin.xml
@@ -170,13 +170,6 @@
             inject="true"
             name="%view.name">
       </view>
-      <view
-            category="net.mograsim.plugin"
-               id="net.mograsim.plugin.tables.memory.MemoryView"
-               class="net.mograsim.plugin.tables.memory.MemoryView"
-            icon="icons/mograsim/blue-orange/icon_blue-orange_16.png"
-               name="%view.name.1">
-      </view>
    </extension>
    <extension
          id="net.mograsim.plugin.nature.mograsimBuilder"
@@ -213,6 +206,11 @@
             label="%themeElementCategory.label.0"
             parentId="net.mograsim.plugin.mograsim">
       </themeElementCategory>
+      <themeElementCategory
+            class="net.mograsim.plugin.SimulationPreview"
+            id="net.mograsim.plugin.mi"
+            label="%themeElementCategory.label.1">
+      </themeElementCategory>
       <colorDefinition
             categoryId="net.mograsim.logic.model"
             id="net.mograsim.logic.model.color.background"
@@ -305,6 +303,20 @@
             isEditable="true"
             label="%fontDefinition.label">
       </fontDefinition>
+      <colorDefinition
+            categoryId="net.mograsim.plugin.mi"
+            id="net.mograsim.plugin.modified_cell_bg_color"
+            isEditable="true"
+            label="%colorDefinition.label.11"
+            value="COLOR_BLUE">
+      </colorDefinition>
+      <colorDefinition
+            categoryId="net.mograsim.plugin.mi"
+            id="net.mograsim.plugin.modified_cell_fg_color"
+            isEditable="true"
+            label="%colorDefinition.label.12"
+            value="COLOR_WHITE">
+      </colorDefinition>
    </extension>
    <extension
          point="org.eclipse.ui.preferencePages">