X10

X10DT source editor should provide distinct font/color settings for various syntax categories

Details

  • Type: New Feature New Feature
  • Status: Closed Closed
  • Priority: Minor Minor
  • Resolution: Fixed
  • Affects Version/s: X10 2.0.1
  • Fix Version/s: X10 2.2.3
  • Component/s: X10DT Source Editor
  • Labels:
    None
  • Environment:
    all
  • Number of attachments :
    0

Description

See the JDT font preferences page for examples.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Robert M. Fuhrer added a comment -

RTC work item 709

Show
Robert M. Fuhrer added a comment - RTC work item 709
Hide
Permalink
Mandana Vaziri added a comment -

Done

Show
Mandana Vaziri added a comment - Done
Hide
Permalink
David Grove added a comment -

bulk close of issues as part of making 2.2.3 release notes.

Show
David Grove added a comment - bulk close of issues as part of making 2.2.3 release notes.

People

  • Assignee:
    Robert M. Fuhrer
    Reporter:
    Robert M. Fuhrer
Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: