[GROOVY-6303] Add ability to use a different font for the input/output area of Groovy Console

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.1.6
• Fix Version/s: 2.3.0-beta-1
• Component/s: Groovy Console
• Environment: Tested on Linux
• Assignee: Pascal Schumacher
• Reporter: Ingo Hoffmann
• Created: 09/Aug/13 09:29
• Updated: 05/Apr/14 00:00
• Resolved: 24/Nov/13 12:33

Description

Add the ability to change the default font used for the input and output area of Groovy Console by:

• Linux: adding a new config entry, "fontName", in the default UI configuration file ~/.java/.userPrefs/groovy/ui/prefs.xml
• Windows: adding the value "font/Name" to the "HKEY_CURRENT_USER\Software\JavaSoft\Prefs\groovy\ui" registry key
• Mac OS X: adding a new entry, "fontName", under /groovy/ui in the Java Utils preference file ~/Library/Preferences/com.apple.java.JavaPreferences.plist