Re: How to get rid of the mouse pointer ?

From: Tomas Styblo <tripie_at_cpan.org>
Date: Sun, 4 May 2003 14:10:37 +0200

* Matthew Allum <breakfast_at_10.am> [Sun, 04 May 2003]:
> Yep. Also it may be worth thinking about maybe making some cursors not
> transparent. Cases that come to mind are;
>
> - The busy cursor, though the feedback this provides can be done in
> other places
>
> - The drag cursor, this is really just to make dragging panel apps a
> bit more obvious to the user. There maybe a better way round this
> however, I dunno. Maybe the apps not need to be dragged at all.
>
> - A cursor to signal a right or middle click it to be generated
> rather than the usual left one. This would really only be for
> 'not meant for touchscreens but kind of work' X applications.

It would be nice to use more reasonable cursors in xmonobut.

Now it uses:

   /* see http://tronche.com/gui/x/xlib/appendix/b/ for more cursors */
   right_curs = XCreateFontCursor(dpy, XC_mouse);
   middle_curs = XCreateFontCursor(dpy, XC_gumby); /* :) */
   orig_curs = XCreateFontCursor(dpy, XC_left_ptr);

I recommend to use:

   right_curs = XCreateFontCursor(dpy, XC_rightbutton);
   middle_curs = XCreateFontCursor(dpy, XC_middlebutton);

I'd make these cursors non-transparent:

    X_cursor
    rightbutton
    middlebutton
    sizing
    fleur
    exchange
    watch
    mouse
    gumby
    top_side
    right_side
    bottom_side
    left_side
    top_left_corner
    top_right_corner
    bottom_left_corner
    bottom_right_corner
    left_ptr_watch (this should be a symlink to "watch", because
                    we don't need the pointer and the "watch" cursor
                    is more descriptive)

Some of these cursors are implemented in the "handhelds" theme -
I'd use them. Otherwise, core cursors would be used.

-- 
Tomas Styblo <tripie_at_cpan.org>
PGP: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0xC97EA4B6
Received on Sun May 04 2003 - 12:10:41 EDT

This archive was generated by hypermail 2.2.0 : Mon Jul 25 2005 - 17:19:03 EDT