Opened 12 years ago

#161 new enhancement

In the preferences, instead of just a font, support text attributes too.

Reported by: rme Owned by: rme
Priority: minor Milestone:
Component: IDE Version:
Keywords: Cc:

Description

In addition to fonts, users should be able to specify default text attributes (color, underline, whatever).

Change History (0)

Note: See TracTickets for help on using tickets.