Fixed issue with row highlighting
authorFabian Stemmler <stemmler@in.tum.de>
Sat, 28 Sep 2019 12:41:27 +0000 (14:41 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Sat, 28 Sep 2019 12:41:27 +0000 (14:41 +0200)
commitae2d1ae853d5232df4337e4b2c417a9d57e11aa7
treeca11095e13111dba0211d8f5ac4891b8288c8b07
parent6b01ce390c1bb33d133902479645abfcc293704f
Fixed issue with row highlighting

Too many highlight requests were being sent to the SWT Eventqueue when
running the simulation at a faster speed. Now there can be at most one
such request at the same time.
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/InstructionView.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/RowHighlighter.java [new file with mode: 0644]