Ticket #118 (closed task: fixed)

Opened 4 years ago

Last modified 4 years ago

jdt.ui.adaptor must migrate to using StyledString

Reported by: stephan Owned by: stephan
Priority: major Milestone: OTDT_1.2.1
Component: jdt.ui.adaptor Version: 1.2.0pre
Keywords: Cc:

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.

Change History

Changed 4 years ago by stephan

Initially fixed in r18410, however, ViewAdaptor still needs to be reviewed in this matter.

Changed 4 years ago by stephan

  • description modified (diff)
  • milestone changed from OTDT_1.2.0 to OTDT_1.2.1

Have not noticed any visible effect, but want to address this post 1.2.0.

Changed 4 years ago by stephan

Actually need to resurrect role ViewAdaptor.ColoredJavaElementLabels which implemented r18233.

Changed 4 years ago by stephan

  • status changed from new to closed
  • resolution set to fixed

Fixed in r18796:

  • Role ColoredJavaElementLabels has been merged with JavaElementLabels (just as the base classes have).
Note: See TracTickets for help on using tickets.