Optional large pen cursor
Brought to you by:
andreasb123,
auroux
I often have trouble locating the small pen cursor when working with a WACOM tablet. Especially on larger screens, and marking up PDF with lots of text, I normally used a pen stroke to figure out where the cursor is.
I used the alternative larger cursor created by Jakson (few years back) and added a checkbox to the option menu to choose between the cursors.
The checkbox option is also loaded from and saved to the preferences.
Patch is attached. Tested on Fedora 17 and 18, builds also for openSUSE and SLES distributions.
Since there is now a "pencil cursor" option, I probably won't incorporate this patch in the official distribution. It's probably useful to some users though, so I'll keep it open.