Re: Changing the mouse pointer shape in terminal.