Not really a bug, but when TEXTCOLOR is defined, wintty can display menu
headings is bold upon request, but didn't.
Gnome: real extended command menu so all extended commands can be entered
Gnome: ignore interrupts to avoid infinite loop in gnome library
tty: avoid crash displaying quit inventory if inventory was already displayed
+tty: use "bold" in menu heading if available and requested
winCE: ensure orphaned lockfile is always deleted on single-user handhelds
if(nh_US) return nh_US;
case ATR_BOLD:
case ATR_BLINK:
+#if defined(TERMLIB) && defined(TEXTCOLOR)
+ if (MD) return MD;
+#endif
return nh_HI;
case ATR_INVERSE:
return MR;