On Thu, Apr 3, 2014 at 10:02 PM, Bill Nottingham <notting@splat.cc> wrote:

I've yet to file a bug because I haven't narrowed it down, but about 1/3 of
the time the mouse cursor disappears when in gnome-terminal. Makes selection
tricky, obviously. This may not be a show-stopper.

Bill


Known bug. Or rather, known "feature".

https://bugzilla.gnome.org/show_bug.cgi?id=725342

--
-Elad Alfassa.