diff lispintro/cons-1.eps @ 43374:0bee8a661e55

Added mouse-highlight variable to turn off mouse highlight or only show it after mouse movement.
author Kim F. Storm <storm@cua.dk>
date Sun, 17 Feb 2002 00:01:15 +0000
parents a8ee89e61d20
children 6ad2412f0362
line wrap: on
line diff