@tubetime It was done dynamically redefining the appearance of a group of characters. This was only possible on VGA (and some older EGA) video cards.

Assuming the mouse pointer can move one pixel in any direction, and the mouse pointer occupies the room of only one character, you will need to redefine one, two, or four characters, depending on the pointer location.