[rfc][icedtea-web][itweb-settings] Improve Icedtea-Web cache disk space

[Lukasz Dracz]

Hello,

This patch addresses the bug PR1857. Removed JSlider and improved the JSpinner using the suggestions from bugzilla. The JSpinner was changed to go from 0 to 1024, with a step size of 32. A checkbox was added to implement unlimited cache size or limit to the JSpinner value. When limit is unchecked the JSpinner is disabled. Andrew Azores helped in the making of this patch.

Thank you,
Lukasz Dracz
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cacheSizeSpinner.patch
Type: text/x-patch
Size: 8869 bytes
Desc: not available
URL: <http://mail.openjdk.java.net/pipermail/distro-pkg-dev/attachments/20140708/7ca8be19/cacheSizeSpinner.patch>