Re: Patch #1393181 Change default colorbox size

[Hans-Bernhard B. <br...@ph...>]

Ethan A Merritt wrote:
> That way the user can easily tweak the place using, e.g.
> 	set colorbox user orig 1.1 graph, 0.0 graph
> 	set colorbox user size 0.2 graph, 0.8 graph

Err.. please make that syntax match the usual one, i.e.

	set colorbox user orig graph 1.1

Better yet, actually use the low-level input functions for <coordinate> 
values as used by 'set label' and 'set arrow', and support all their 
options, so all you have to put in the docs would be

	set colorbox user orig <coord_x>, <coord_y>

and point to 'help coordinates' for details what <coord_x> can be.