joergreichert/OperaMisterWongBookmarks — Issue #1: normalize color of numbers and text in xtext editor
Author: joergreichert
Created: 2011-10-08 10:31:23+00:00
State: open

currently numbers are displayed gray, should also be black like text