Ticket #118 (closed task: fixed)

Opened 8 months ago

Last modified 6 months 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 8 months ago by stephan

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

Changed 7 months 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 6 months ago by stephan

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

Changed 6 months 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.