groovy/groovy-core — pull request #279 by lasombra (2013-10-27 11:52:16+00:00)
Title: GROOVY-6303: Add ability to use a different font for groovyConsole

This was tested on Linux only.