diff make-dist @ 12222:7286ed64badd

(Fdelete_frame): If the minibuf window was selected, make that remain so.
author Richard M. Stallman <rms@gnu.org>
date Wed, 14 Jun 1995 18:20:14 +0000
parents 810cc10d1d45
children ed11e19b4264
line wrap: on
line diff