Отключить элементы пользовательского интерфейса Firefox 57 для TreeStyleTab

Отключить элементы пользовательского интерфейса Firefox 57 для TreeStyleTab

Недавно я обновился с Firefox 55 до Firefox 58 Nightly, и многие расширения пришлось обновить. Treestyletabs — единственное расширение, которое я действительно использую, и оно было переделано в боковую панель. Разница в том, что теперь у него есть гигантская панель вверху, как эта:


говоря очень большими буквами Tree Style Tab. Мне удалось убрать вкладки в верхней части экрана, добавив

#tabbrowser-tabs { visibility: collapse !important; }

в мой .mozilla/firefox/???/chrome/userChrome.cssфайл. Я хочу узнать, есть ли что-то похожее, что я могу сделать, чтобы скрыть заголовок боковой панели, сохранив при этом боковую панель.

решение1

mannigfaltig сказал(а):

Я добавил модификацию, которая удаляет все поля сверху:

#TabsToolbar, #sidebar-header {
  visibility: collapse !important;
}

#TabsToolbar {
  margin-bottom: -21px !important;
}

Затем перейдите в меню гамбургера > Настройка и проверьте "Строка заголовка" в левом нижнем углу. Тогда это будет очень похоже на FF 56.

Я также изменил стиль TST в настройках надстройки (в самом низу; не в userChrome.css) таким образом, чтобы вкладки не занимали так много места по вертикали и чтобы скрыть кнопку закрытия окна (и отображать ее только при наведении мыши):

.closebox {
  display: none
}

.tab:hover .closebox {
  display: block;
}

.tab {
  padding-top: 0px;
  padding-bottom: 0px;
}

Вы можете сделать .tabеще плотнее:

.tab .icon {
  padding-top: 2px; /* reducing it by 2px */
  padding-bottom: 2px;
}

:root {
  --tab-height: 22px; /* reducing it by 4px */
}

https://news.ycombinator.com/item?id=15342379

решение2

Это может быть не прямым ответом, а предложением. Вам не нужно полностью отключать этот раздел, хотя не все подразделы имеют ярлыки для вывода их на передний план. Вместо этого вы можете использовать этот css, ~/.mozilla/firefox/???/chrome/userChrome.cssчтобы сжать его.

.sidebar-header,
#sidebar-header {
  font-size: 1em !important;
  font-weight: normal !important;
  padding: 0px !important;
}

решение3

Дайте шансСтильныйэто плагин (FF, Chrome), позволяющий изменять внешний вид любого веб-сайта.

Связанный контент