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.