K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2019-03-24T20:36:35.445664Z
K 7
svn:log
V 247
Fix the type of the color args for VGLMouseFreeze(), VGLBitmapPutChar(),
VGLBitmapString() and VGLSetBorder() so as to not truncate to 8 bits.

Complete the corresponding fix for VGLGetXY() and VGLPutXY() (parts
of the man page were out of date).

END