всем добрый день..
суть в том что есть известная программа Mozilla ThunderBird (почтовый клиент) все настройки в ней храняться в файле prefs.js
так вот бывает,что надо переключаться с прокси - на непрокси, то есть иногда нет прокси,пользуемся сами инетом,иногда есть-вкл прокси...
чтобы переключить прокси,это много операций,к тому же значения одни,но для трех учетных записей..поэтому вот и появилась такая идейка.
что наподобие ProxySwitcher, только сдезь перключается не прокси,а параметры сервера с pop.mail.ru на <ip прокси>
рылся сегодня в дополнениях,ничего подобного не нашел..

идея вот в чем..
программа открывает файл prefs.js ищет строки
user_pref("mail.server.server2.realhostname", "10.49.25.241");
user_pref("mail.server.server6.realhostname", "10.49.25.241");
user_pref("mail.server.server9.realhostname", "10.49.25.241");
и меняет их на
user_pref("mail.server.server9.realhostname", "pop.mail.ru");
user_pref("mail.server.server9.realhostname", "pop.mail.ru");
user_pref("mail.server.server9.realhostname", "pop.mail.ru");

эти строки идут не друг за другом,и хотелось бы,чтобы IP 10.49.25.241 вводился вручную и где нибудь сохранялся..

просьба помочь, я не прошу уж совсем делать мне программу,хотябы подтолкнуть,просто я не понимаю как можно прогой открыть файл этот, и заменить в нем строки. никогда этим не занимался..
заранее большое спасибо

PS прикрепляю этот файл prefs.js
http://slil.ru/27848630