Details
-
Type:
Improvement
-
Status:
Closed
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: 1.6-beta-2
-
Fix Version/s: 1.7-beta-1
-
Component/s: Groovy Console
-
Labels:None
-
Environment:all
-
Patch Submitted:Yes
-
Number of attachments :
Description
A patch is attached that applies the enhancement described below.
The groovy (and grails) consoles currently have a hard coded font size of 12 pixels. It also has a hard coded width of approximately 80 characters and a height of about 24 lines of text (12 for the input area and 12 for the output area).
There are shortcuts to increase the font size (cmd-shift-L on the mac), and it is also possible to drag the swing window to cover a large area, but these steps need to be repeated every time a new console window is opened.
The default font sizes and area covered by the console is quite small when viewed on modern monitor resolutions of 1920x1200 and greater. I know that for myself and another coworker, this is something we do many times a day (and it gets old 
.
The attached patch allows for a configuration file (in GroovyConfig format) to be created in the users home directory, under (~/.groovy/ConsoleConfig.groovy by default on mac/unix systems).
If this file exists, the user can override the font size of the input area and the output area and can also specify the height and width of both areas independently.
Here is a sample config file created at (~/.groovy/ConsoleConfig.groovy):
console {
inputArea {
fontSize=18
width=1440
height=800
}
outputArea {
fontSize=16
width=1440
height=200
}
}
This creates a large input area with big font, and a smaller output area with a slightly smaller font.
If the ConsoleConfig.groovy file is not present, the current default are used.
Attachments
Activity
is there a problem with the patch? It's not 4 months later.... just trying to move things along
Actually I thought we had even already applied it, and I was wondering why my console wasn't working that way already
So it's just that we haven't come to applying it.
But it still looks good to me with all the updates Ted did, it's just we need to apply it.
Sorry for not having done so so far, hopefully we'll get to it shortly.
Thanks for the reminder.
So it's just that we haven't come to applying it.
But it still looks good to me with all the updates Ted did, it's just we need to apply it.
Sorry for not having done so so far, hopefully we'll get to it shortly.
Thanks for the reminder.
It'd be better IMHO to use the preference API for storing these kind of preferences.
It's already used in the console for storing various preferences, we should stick with that mechanism for remembering preferences.
Cf discussion http://www.nabble.com/enhancement-to-groovy-grails-console-to-allow-config-file-to-override-font-size-and-input-output-area-sizes-to21906917.html