Fix erasing cursor on top of raised boxes in NS port

* src/nsterm.m (ns_draw_relief): Clear top and bottom line areas
first, if required.

diff --git a/src/nsterm.m b/src/nsterm.m
index ed0e7a2aae82a8b55dbef31028d4c7ccd1e8deb6..8ee5c03b97e966f580bf0eaa3a117d040c76ee49 100644 (file)
--- a/src/nsterm.m
+++ b/src/nsterm.m
@@ -3510,6 +3510,12 @@ ns_draw_relief (NSRect outer, int hthickness, int vthickness, char raised_p,
 
   [(raised_p ? lightCol : darkCol) set];
 
+  if (top_p)
+    {
+      NSRectFill (NSMakeRect (NSMinX (outer), NSMinY (outer),
+                             NSWidth (outer), hthickness));
+    }
+
   if (top_p || left_p)
     {
       NSBezierPath *p = [NSBezierPath bezierPath];
@@ -3549,6 +3555,12 @@ ns_draw_relief (NSRect outer, int hthickness, int vthickness, char raised_p,
       [p closePath];
       [p fill];
     }
+
+  if (bottom_p)
+    {
+      NSRectFill (NSMakeRect (NSMinX (outer), NSMaxY (inner),
+                             NSWidth (outer), hthickness));
+    }
 }