diff make-dist @ 24230:ee835eec7607

(Fset_window_point): If WINDOW is selected but the current buffer is not its buffer, don't use Fgoto_char.
author Richard M. Stallman <rms@gnu.org>
date Sat, 30 Jan 1999 23:45:54 +0000
parents f14a9b714a8e
children 9c23e2b384a3
line wrap: on
line diff