comparison make-dist @ 43113:106d1a478844

(gud-refresh): Call recenter only after we are sure we are in the right window.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 05 Feb 2002 18:04:49 +0000
parents e13df10b6b63
children 1109a8546104
comparison
equal deleted inserted replaced
43112:bb5ca1f1295a 43113:106d1a478844