Source position: videoh.inc line 31
type TEnhancedVideoAttribute = (
evaBold,
evaFaint,
evaItalicized,
evaUnderlined,
evaBlinkSlow,
evaBlinkFast,
evaInverse,
evaInvisible,
evaCrossedOut,
evaDoublyUnderlined
);