diff etc/GNU @ 63092:80ef8a2a052d

(debug): Don't bury the buffer unless it's in a dedicated window.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 06 Jun 2005 19:47:05 +0000
parents c38d0cd4d5c8
children 9a786788b2b7 f042e7c0fe20
line wrap: on
line diff