On 8/24/06, beejamin <ben at caramel.com.au> wrote: > JS - can anyone give me a quick example of how to access user_pref values > from an extension compiled from greasemonkey? Look at the code in greasemonkey's ..\chrome\chromeFiles\content\prefmanager.js