Re: [AD] Mouse cusor documentation

[Elias Pschernig <allefant@xxxxxxxxxx>]

> Almost. For the X11 driver, the hardware mouse is available if the
> ARGBCursor extension is available, which is checked when the window is
> created. Windows has size restrictions on the cursor (typically, it cannot
> be larger than 32x32 pixels) - so you don't know if you can display a
> hardware cursor until the user passes a bitmap to set_mouse_sprite(). I
> don't know about other drivers, but most of those don't have a hardware
> cursor to begin with.
> (Technical note: the ability to display a hardware cursor is a property of
> the graphics driver, not the mouse driver).
> 
> There is no easy way to know if the system will use a hardware cursor,
> although this can normally be predicted after set_mouse_sprite() has been
> called.
> 

Ok. Well, I can't help but think that show/hide_hardware_cursor would
be a better idea :P It are two very simple operation which do a
specific thing at once, we need not special case anything, and you
also need only a single command to make an existing GUI app use the
mouse.