Архив метки: user.js

Firefox: Изменить масштаб пользовательского интерфейса

Давным-давно я установил для Firefox глобальный масштаб: user.js // Set scale 1.15 GLOBALLY (default 1.0) user_pref("layout.css.devPixelsPerPx", 1.15); Поскольку у меня разрешение монитора 1920×1200, меня такой масштаб вполне устраивал — этой настройкой я увеличил не только масштаб отобра...

Firefox: Не работает сохранение выделенного текста

На одном сайте есть возможность редактировать PDF файлы онлайн. Что примечательно, поддержка формата PDF практически 100%, в отличие от того же Gimp. Но при копировании текста из слоя с текстом, ничего не копировалось в буфер обмена. Если открыть консоль, то увидим ошибку: // Uncaught TypeError: nav...

Firefox: Отключить авто-дополнение в адресной строке

Набираю в адресной строке «4pda» — это мне нужно было зайти на форум. Уже довольно давно адрес сайта и форума изменились с 4pda.ru на 4pda.to, но первым делом Firefox мне подсовывает рекомендацию-дополнение к адресу https://4pda.ru: Естественно страница не откроется, потому что сайт...

Firefox: Отключить автоматическое воспроизведение видео

Читаю что-то на сайте reddit.com, прокручиваю страницу пониже и вижу, что видео-ролик на этой странице начинает воспроизведение. Ролик был в конце другой статьи, и скорее всего через какое-то время там будут уже другие посты, поэтому оставлю прямую ссылку на пост.   Я не хотел, чтобы ролики зап...

Firefox: Вернуть старый стиль в версию 89 и выше

Firefox обновился до версии 89 и его внешний вид немного меня шокировал — вкладки зависли в воздухе и стали огромными. Базовая тема с фоном и цветом кнопок скачивается здесь, а дальше настраиваем через user.js.   Изменение файла user.js Для начала я решил вернуть высоту вкладок к нормальн...