Update windows-specific preference code (used in IE and Chrome) to new name.

Patch by: jat
Review by: jlabanca (TBR)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@6822 8db76d5a-ed1c-0410-87a9-c151d255dfc7
1 file changed