MacOS: improve drawing of rounded corners of window titlebar

git-svn-id: file:///fltk/svn/fltk/branches/branch-1.4@12557 ea41ed52-d2ee-0310-a9c1-e6b18d33e121

1 files changed, 1 insertions, 1 deletions

diff --git a/src/Fl_cocoa.mm b/src/Fl_cocoa.mm
index 389c1031e..10e727021 100644
--- a/src/Fl_cocoa.mm
+++ b/src/Fl_cocoa.mm
@@ -4287,7 +4287,7 @@ int Fl_Cocoa_Window_Driver::decorated_h()
 
 // clip the graphics context to rounded corners
 static void clip_to_rounded_corners(CGContextRef gc, int w, int h) {
-  const CGFloat radius = 5;
+  const CGFloat radius = 7.5;
   CGContextMoveToPoint(gc, 0, 0);
   CGContextAddLineToPoint(gc, 0, h - radius);
   CGContextAddArcToPoint(gc, 0, h,  radius, h, radius);