window-inside-pixel-edges

[KOBAYASHI Yasuhiro]

The doc string for window-inside-pixel-edges says:

  Return a list of the edge pixel coordinates of window.
  (LEFT TOP RIGHT BOTTOM), all relative to 0, 0 at top left corner of frame.
  RIGHT is one more than the rightmost x position used by text in window,
  and BOTTOM is one more than the bottommost y position used by text in window.
  The inside edges do not include the space used by the window's scroll bar,
  display margins, fringes, header line, and/or mode line.

But it seems to include the right scroll bar.
window-inside-edges also has the same problem.

2005-05-19  KOBAYASHI Yasuhiro  <address@hidden>

        * window.c (Fwindow_inside_edges, Fwindow_inside_pixel_edges):
        Correct the right value.

--- window.c.orig       2005-05-19 09:51:28.532918600 +0900
+++ window.c    2005-05-19 09:54:11.685894200 +0900
@@ -544,7 +544,7 @@
                             + WINDOW_LEFT_FRINGE_COLS (w)),
                make_number (WINDOW_TOP_EDGE_LINE (w)
                             + WINDOW_HEADER_LINE_LINES (w)),
-               make_number (WINDOW_RIGHT_EDGE_COL (w)
+               make_number (WINDOW_BOX_RIGHT_EDGE_COL (w)
                             - WINDOW_RIGHT_MARGIN_COLS (w)
                             - WINDOW_RIGHT_FRINGE_COLS (w)),
                make_number (WINDOW_BOTTOM_EDGE_LINE (w)
@@ -568,7 +568,7 @@
                             + WINDOW_LEFT_FRINGE_WIDTH (w)),
                make_number (WINDOW_TOP_EDGE_Y (w)
                             + WINDOW_HEADER_LINE_HEIGHT (w)),
-               make_number (WINDOW_RIGHT_EDGE_X (w)
+               make_number (WINDOW_BOX_RIGHT_EDGE_X (w)
                             - WINDOW_RIGHT_MARGIN_WIDTH (w)
                             - WINDOW_RIGHT_FRINGE_WIDTH (w)),
                make_number (WINDOW_BOTTOM_EDGE_Y (w)

-- 
KOBAYASHI Yasuhiro <address@hidden>