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"
+ parentId="net.mograsim.plugin.mograsim">
+ </themeElementCategory>
<colorDefinition
categoryId="net.mograsim.logic.model"
id="net.mograsim.logic.model.color.background"
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_GREEN">
+ </colorDefinition>
+ <colorDefinition
+ categoryId="net.mograsim.plugin.mi"
+ id="net.mograsim.plugin.modified_cell_fg_color"
+ isEditable="true"
+ label="%colorDefinition.label.12"
+ value="COLOR_BLACK">
+ </colorDefinition>
+ <fontDefinition
+ categoryId="net.mograsim.plugin.mi"
+ id="net.mograsim.plugin.table_font"
+ isEditable="true"
+ label="%fontDefinition.label.0">
+ </fontDefinition>
+ <colorDefinition
+ categoryId="net.mograsim.plugin.mi"
+ id="net.mograsim.plugin.highlighted_cell_bg_color"
+ isEditable="true"
+ label="%colorDefinition.label.13"
+ value="COLOR_YELLOW">
+ </colorDefinition>
+ <colorDefinition
+ categoryId="net.mograsim.plugin.mi"
+ id="net.mograsim.plugin.highlighted_cell_fg_color"
+ isEditable="true"
+ label="%colorDefinition.label.14"
+ value="COLOR_BLACK">
+ </colorDefinition>
</extension>
<extension
point="org.eclipse.ui.preferencePages">