diff make-dist @ 37211:afa458ac7a62

(free_frame_menubar) [USE_MOTIF]: Preserve the shell widget's position only if it is non-null.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 05 Apr 2001 13:07:44 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff