Ticket #118 (closed task: fixed)
jdt.ui.adaptor must migrate to using StyledString
|Reported by:||stephan||Owned by:||stephan|
Description (last modified by stephan) (diff)
The jdt.ui previously used special support for styled text in labels. This has now migrated to jface using new class StyledString.
Thus the jdt.ui.adaptor must be migrated to support StyledString.