Vimium: Firefox 57: панель инструментов неправильно отображается в дополнительном меню

Не решая вашу проблему, но к сведению .... Используйте <c-Enter> чтобы закрыть и сохранить (или Escape чтобы закрыть без сохранения). Вы можете удалить правила, поставив табуляцию на маленький «x» и нажав Enter.

может потребоваться внести некоторые изменения.

Это ошибка, из-за которой Firefox не изменяет размер всплывающего окна должным образом, потому что они поместили его в рамку, чтобы изолировать его от строки заголовка / кнопки возврата. Этого не происходит, если панель отсутствует (т. Е. Vimium отсутствует в раскрывающемся меню), и происходит со всеми другими WebExtensions, помещенными в меню.

Определенно стоит пойти и проголосовать за проблему FF (под подробностями), чтобы команда Proton поставила ей более высокую априорность.

Я не думаю, что мы должны делать что-то на нашей стороне.

Ну да, я уже читал об этой ошибке, но если вы прочитаете все комментарии, я не уверен, что они изменят поведение («кнопка возврата» - это полу-допустимая точка).
Так что в этом случае необходимы модификации (также см. Примеры ошибок).
Возможно, лучше немного подождать, чтобы увидеть, что происходит с этой ошибкой. (Я голосовал, на всякий случай :))

Я не уверен, что они изменят поведение

Я не уверен, что они могут оставить все как есть: всплывающие окна большинства расширений будут некорректно работать из их меню с двойным шевроном. Также нет четкого ( или надежного ) обходного пути. Это делает ошибку с этим меню, а не с отдельными расширениями.

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