Disable cursor hider.

See #1359.  There appear to be common cases where the cursor hider
doesn't hide the cursor.  So the UX is inconsistent.  We need to
consider whether this is fixable or acceptable.