GNOME Bugzilla – Bug 486342
Allow change of radius on rounded corners
Last modified: 2007-10-13 18:04:25 UTC
The current rounded-corner feature is on/off. It would be great, if it was possible to specify the radius, like it is in Emerald.
This was done almost exactly a year ago, and documented in doc/theme-format.txt: : The optional attributes rounded_top_left, rounded_top_right, : rounded_bottom_left and rounded_bottom_right on <frame_geometry> : should now be the radius of the corner in pixels. You may still use : the values "false" for 0 and "true" for 5, which means v1 values will : still work just fine. *** This bug has been marked as a duplicate of 113162 ***
excellent. sorry for the double posting then.