Changing pointer graphic in gnome-terminal

[Matthew Saltzman]

On Sun, 2008-03-16 at 11:29 +1000, Brian Chadwick wrote:
> Aaron Konstam wrote:
> > On Sat, 2008-03-15 at 13:04 -0700, Markus Kesaromous wrote:
> >   
> >> Does anyone on this list know of a way to change the pointer
> >> graphic in gnome-terminal from a fleur to a left-pointer arrow or even
> >> a vertical arrow?
> >>
> >> Thanx,
> >>
> >> Markus
> >>     
> > Hiow abouut: System->preferences->Hardware->mouse->pointers
> > --
> > =======================================================================
> > The goys have proven the following theorem... -- Physicist John von
> > Neumann, at the start of a classroom lecture.
> > =======================================================================
> > Aaron Konstam telephone: (210) 656-0355 e-mail: akonstam at sbcglobal.net
> >
> >   
> that doesnt exist on my F8 installation

I think that's a bug.  It will be back in F9, AFAIK.

> 
> 
-- 
                Matthew Saltzman

Clemson University Mathematical Sciences
mjs AT clemson DOT edu
http://www.math.clemson.edu/~mjs