Mouse cursor should change when hovering over hyperlinks

[ptomato]

Opened 2011-02-12

We should change the cursor to whatever the system default is for followable links, when it is over a hyperlink in a Glulx game.

[ptomato]

@wmvanvliet commented 2011-02-14:

Since GtkTexTags don't have a mouseover event, this could be tricky.

@ptomato commented 2011-02-20:

I came to the same conclusion, enter-notify and leave-notify don't work because the GtkTextTag's event signal fires when the text buffer gets an event within the coordinates of the text tag.
However, I found these, maybe we can adapt them:
​http://www.gtkforums.com/about1841.html
​http://www.kksou.com/php-gtk2/articles/insert-links-in-GtkTextView---Part-4---Change-Cursor-over-Link.php
Only if we have nothing more important to do, though.