Opened 6 years ago

#1156 new enhancement

Altconsole text font size change

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

Description

It would be very useful at times if we could make the Altconsole font smaller. My defaults in Clozure listeners and editors is Monaco 9.

At times, the existing font size can make some tiny issue (like spotting one character changed in a cookie, which is embedded is long wrapped around lines of variable length) quite tricky. Simple to copy the text out of the Altconsole, hunt issues in CCL, BBEdit, etc, then go back. But a nuisance too.

High on my wishlist for the Altconsole are text size change, plus text search.

Change History (0)

Note: See TracTickets for help on using tickets.