Товарищи, здравствуйте.

Удивительно уже то обстоятельство, что панель поиска не скрывается при повторном нажатии ctrl+f (но это решается через autohide плагин, добавляющий горячую клавишу). Упростим задачу: существует ли настройка FF или соответствующий штепсель, дабы строка поиска автоматически исчезала через некоторое время?

Kraeved пишет

Удивительно уже то обстоятельство, что панель поиска не скрывается при повторном нажатии ctrl+f.

Может станет менее удивительным если посмотреть в меню, что горячая клавиша Ctrl+F соответствует команде Найти на этой странице..., а не Показать/скрыть панель поиска.

Обнаружилось, что добавляя в user.js строку
user_pref("accessibility.typeaheadfind.timeout", 3000);
автоисчезание становится возможным (интервал 3 секунды),
НО лишь при использовании Find As You Type.

Вопрос остаётся открытым.

Kraeved
можно поставить расширение (например, findbar basics) и открывать/закрывать панель по Ctrl+F

Я упоминал об этом варианте (с помощью autohide плагина), но хотелось бы автоматики.

Бывает так, что переходишь с Гугла на страницу, ищешь на ней определенный термин, потом другой. Они оказываются гиперссылками, переходишь по ним, а окно поиска продолжает внизу висеть. Вот, хорошо бы оно исчезало спустя n секунд.

Если я верно понимаю тишину в этом треде, то в пору писать официальный запрос на создание плагина или просьбу кому-нибудь о доработке существующего?

Kraeved
Если заинтересуешься написанием расширения, то All-in-One Gestures есть подобный жест (Показать/скрыть панель поиска). Причём именно так он и работает...