MemoryEditor Font can now be configured
authorFabian Stemmler <stemmler@in.tum.de>
Tue, 1 Oct 2019 15:27:02 +0000 (17:27 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Tue, 1 Oct 2019 15:27:20 +0000 (17:27 +0200)
commit5f8f05cd27d2b7663e32093c3e9c542b1af9224b
tree7c6c888d9ee297476aa16540708d364dd3319ea0
parent371a7ef0e3f6574316d03f2e980abaa0e389c567
MemoryEditor Font can now be configured
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/editors/MemoryEditor.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/FontAndColorHelper.java