Made highlighted/modified cells bold; New default modified cell color
authorFabian Stemmler <stemmler@in.tum.de>
Sat, 28 Sep 2019 22:48:43 +0000 (00:48 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Sat, 28 Sep 2019 22:48:43 +0000 (00:48 +0200)
commita4ef021616f9bf3b6a7778c7b5b6a22d5a7d1c20
tree3b7713f6c3f25f6414921ebe80e5cf8bac213fc3
parentae2d1ae853d5232df4337e4b2c417a9d57e11aa7
Made highlighted/modified cells bold; New default modified cell color
plugins/net.mograsim.plugin.core/OSGI-INF/l10n/bundle.properties
plugins/net.mograsim.plugin.core/plugin.xml
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/ColorProvider.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/InstructionTable.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/InstructionView.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/IntegerColumnLabelProvider.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/ParameterLabelProvider.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/RowHighlighter.java