Re: Some work-arounds [Was: xterm mouse pointer colour won't change]