humphd/mozilla-central — pull request #10 by mjschranz (2011-12-02 01:35:12+00:00)
Title: Mouselock User Preference

Changed type from PRBool to bool.

Fixed whitespace/indent issues.