# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738708091 0
# Node ID 1173bc4814dae0f6d851ce479c82215caa3d406e
# Parent  80f57ae8d44e7bed315c0bb96668a661c63d244b
(display_text_line): Really check for just the selected window.

diff -r 80f57ae8d44e -r 1173bc4814da src/xdisp.c
--- a/src/xdisp.c	Sat May 29 20:39:19 1993 +0000
+++ b/src/xdisp.c	Sat May 29 20:41:31 1993 +0000
@@ -1729,7 +1729,7 @@
   if (highlight_region && XMARKER (current_buffer->mark)->buffer != 0
       /* Maybe highlight only in selected window.  */
       && (highlight_nonselected_windows
-	  || w == XWINDOW (FRAME_SELECTED_WINDOW (f))))
+	  || w == XWINDOW (selected_window)))
     {
       region_beg = marker_position (current_buffer->mark);
       if (PT < region_beg)