Wed Nov 16 16:09:19 WET 2005 Malcolm.Wallace@cs.york.ac.uk
* allow caller style options to override default shape style
The call to draw a shape should allow the caller to override the normal
shape styling, in order to indicate e.g. current selection by bold-ifying.
{
hunk ./src/Shape.hs 70
- (options++style2options (shapeStyle shape))
+ (style2options (shapeStyle shape)++options)
hunk ./src/Shape.hs 74
- (options++style2options (shapeStyle shape))
+ (style2options (shapeStyle shape)++options)
hunk ./src/Shape.hs 77
- (options++style2options (shapeStyle shape))
+ (style2options (shapeStyle shape)++options)
}