History of A brief guide to Mozilla preferences Revision history for: English (US) May 5, 2015, 12:43:29 AM Markh Previous Sep 9, 2014, 5:45:47 AM abhishekp Corrected paths of preferences files. Previous Sep 9, 2014, 5:44:28 AM abhishekp Corrected paths of preferences files. Previous Jul 18, 2013, 8:23:22 AM BenjaminSmedberg Previous Jul 18, 2013, 8:23:02 AM BenjaminSmedberg One of many crazy docs that had mostly incorrect information. Fixed what I could, removed the insane stuff. Previous Jul 11, 2013, 9:18:12 PM kotarofuma Previous Mar 31, 2013, 8:26:01 PM m.sacharewicz It's definitely lockPref(), not lock_pref(). Not sure about user_pref(), if I were to guess, it's the naming notation that is incoherent. Previous Feb 12, 2013, 1:46:59 PM MatthewKastor added tags Previous Nov 6, 2012, 10:29:13 AM mathfreak Previous Nov 6, 2012, 10:27:26 AM mathfreak