coherent Вы как-то совсем "вовремя" стали интересоваться настройками браузера
operaprefs_default.ini - этот файл что-то наподобие "жестких" ссылок системы для браузера Опера.
При первом запуске (при отсутствии в профиле
operaprefs.ini) значения перенесутся в файл настроек профиля. Что-то типа первоначальных настроек при установке.
В последующей работе приоритет переходит к operaprefs.ini и значения файла operaprefs_default.ini просто игнорируются.
P.S. Вы упоминали о нужности/полезности прописывания всех предустановок в файл конфигурации браузера даже если они совпадают с "по-умолчанию".
Лично всегда придерживаюсь правила, что ни в реестре системы, ни в каких-либо файлах конфигурации, ни в правилах фильтра блокировки - наличие ненужного хлама нежелательно.
Помимо разбухания, это может привести к неадекватной последующей работе в том же браузере.
Правда, с окончанием обновлений браузера ваши записи в общем ни на что не повлияют больше, чем то на что они уже влияют)
Раньше большинство проблем при обновлении браузера вытекало именно из-за пользовательского вмешательства в конфиг. Разработчик часто, например как с параметром "Play Background Sound" ("Включить звук на веб-страницах", который ещё присутствует в версии 12.01), вносит коррективы в движок и старые настройки не всегда остаются адекватными, особенно при значительном обновлении линейки продукта.
Да, ещё есть файл
operaprefs_fixed.ini с которым, возможно, вам предстоит познакомиться поближе в будущем
Добавлено: operaprefs_fixed.ini - это файл настроек, имеющий приоритет над другими двумя файлами.
Поэтому его часто используют "адваре"-программы или вирусы, злонамеренно пытающиеся вмешаться в работу браузера.
Для чего был введён разработчиками и какой экспириенс несёт с собой - об этом история умалчивает)
Возможно были какие-то задумки по его использованию в специфических режимах работы браузера, например, как в режиме "киоска". Проще говоря - для администрирования браузера на тех же терминалах.
Небольшое уточнение: Значения из operaprefs_default.ini будут использоваться браузером, но
не будут переноситься в operaprefs.ini (при совпадении наоборот удалятся), что в принципе логично, дабы не было дублей. Значения перебивают дефолтные.
Но, если значения изменить и они будут отличаться от значений operaprefs_default.ini (даже, если они совпадают с по-умолчанию), то параметры файла operaprefs.ini имеют приоритет над такими же из operaprefs_default.ini
Если вы ещё живы и восприятие окружающего мира не нарушено окончательно и бесповоротно, то заварите чайку и откиньтесь на спинку кресла получайте удовольствие от сёрфинга, не забивая голову
