After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 486342 - Allow change of radius on rounded corners
Allow change of radius on rounded corners
Status: RESOLVED DUPLICATE of bug 113162
Product: metacity
Classification: Other
Component: themes
2.18.x
Other Linux
: Normal enhancement
: ---
Assigned To: Metacity maintainers list
Metacity maintainers list
Depends on:
Blocks:
 
 
Reported: 2007-10-13 15:23 UTC by Troels Knak-Nielsen
Modified: 2007-10-13 18:04 UTC
See Also:
GNOME target: ---
GNOME version: 2.17/2.18



Description Troels Knak-Nielsen 2007-10-13 15:23:03 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.
Comment 1 Thomas Thurman 2007-10-13 17:31:02 UTC
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 ***
Comment 2 Troels Knak-Nielsen 2007-10-13 18:04:25 UTC
excellent. sorry for the double posting then.