# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 951475134 0
# Node ID 3c13fcdeb63a847ca7c79fb3c0bc667bee88caab
# Parent  ae01cfb492008907a96cce5d3fd2a62720807aae
(coordinates_in_window): Take frame's internal border width
into account.

diff -r ae01cfb49200 -r 3c13fcdeb63a src/window.c
--- a/src/window.c	Fri Feb 25 10:22:28 2000 +0000
+++ b/src/window.c	Fri Feb 25 10:38:54 2000 +0000
@@ -464,9 +464,11 @@
     }
   else
     {
-      left_x = WINDOW_DISPLAY_LEFT_EDGE_PIXEL_X (w);
+      left_x = (WINDOW_DISPLAY_LEFT_EDGE_PIXEL_X (w)
+		- FRAME_INTERNAL_BORDER_WIDTH (f));
       right_x = WINDOW_DISPLAY_RIGHT_EDGE_PIXEL_X (w);
-      top_y = WINDOW_DISPLAY_TOP_EDGE_PIXEL_Y (w);
+      top_y = (WINDOW_DISPLAY_TOP_EDGE_PIXEL_Y (w)
+	       - FRAME_INTERNAL_BORDER_WIDTH (f));
       bottom_y = WINDOW_DISPLAY_BOTTOM_EDGE_PIXEL_Y (w);
     }