Como mudar o cursor do mouse

Solução Existe uma classe Gdk chamada GdkCursor para manipulação de cursores. Nela é passada um parâmetro indicando qual o cursor. Existem constantes indicando o cursor à ser utilizado. (ver nas referências)