GPII/prefsEditors — pull request #85 by cindyli (2014-11-20 16:14:07+00:00)
Title: GPII-1014: Replace the slider adjuster for cursor size with plus/minus text field adjuster

The bug report: http://issues.gpii.net/browse/GPII-1014

This pull request also upgraded the infusion library to be in sync with the latest master: https://github.com/fluid-project/infusion/