Доброго времени.
Интересует вопрос, ведет ли Mozilla какой-то лог-файл изменений каких-либо настроек пользователя, например настройки прокси. То есть, например, нужно в любое время посмотреть что менялось или нет. Спасибо.

Нет.
А кто у вас занимается изменениями настроек прокси? Дополнение?
Если коннект идёт через какой-нибудь фригат, то Firefox по барабану чем этот самый фригат там занимается.
Если прокси меняются в network.proxy.autoconfig_url, то возможно соответствующее дополнение имеет возможность создавать логи?

Ну и изменение всех настроек лишь на совести пользователя. Если требуется отслеживание действий, то можно по расписанию создавать слепки prefs.js для дальнейшего сравнения и выявления шаловливых ручек с последующим наказанием в виде отсечения оных или вздёргивания виновника на дыбе.

Вы как в воду смотрели, настройкой занимается пользователь, за которым и надобно "следить". Вот и интересует вопрос изменялись ли настройки прокси?

Если предположим (а оно очевидно по вашим сообщениям), что вмешательство было, тогда может не изменения выявлять, а ловить за руку нарушителя?
Вплоть до удалённого контроля, не знаю, или Whiteshark, как тут в сходной теме однажды banbot предложил.

Тут не поможет скрытие окна настроек, да и блокировка через lockPref не представляется сильной защитой...