diff src/w32menu.c @ 63555:c449f070995c

(underline): Try bold if terminal doesn't support underline.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 2005 14:30:55 +0000
parents 9bde03db5726
children a8fa7c632ee4 173dee4e2611
line wrap: on
line diff