K 10
svn:author
V 6
yokota
K 8
svn:date
V 27
1997-10-26T07:36:13.000000Z
K 7
svn:log
V 234
- Slightly change the way the border color register is updated so that
flicker won't occur when set_border() is called.

- Properly restore the border color when switching virtual consoles.

Pointed out by: tony@dell.com
OKed by: sos

END