Как изменить расположение вкладок в среде Komodo Edit? (например, размер шрифта)

Имея всегда много, много, много вкладок Komodo, я был бы признателен, если бы нашел какое-то решение для настройки макета панели вкладок. Например, размер шрифта.

Конечно, в настройках Komodo я могу изменить свойства шрифта, связанные с содержимым вкладки. Но это НЕ совсем то, что я ищу.

Я хотел бы изменить свойства шрифта САМОЙ ВКЛАДКИ, чтобы видеть больше вкладок на моем экране без прокрутки.

Насколько я знаю, это невозможно в графическом интерфейсе настроек Komodo.

Есть ли другое решение? (например, редактирование некоторого файла конфигурации komodo)


development-environment tabs font-size komodo komodoedit
person dr.micro    schedule 08.07.2011    source источник

Ответы (2)


arrow_upward
1
arrow_downward

В ожидании опции многострочной вкладки в будущих выпусках мой быстрый обходной путь для смягчения этой проблемы состоял в том, чтобы объявить в «userChrome.css» следующие правила:

#tabbed-view tabs > tab  {
    font-size: 10px !important;
    max-width:70px !important;
}
#tabbed-view tabs > tab:hover  {
    max-width:none !important;
    background-color: #bfe0f8 !important;
}
#tabbed-view tabs > tab[selected="true"] { 
   max-width:none !important;
   font-weight: normal !important;
   color: #cc0000 !important;
}
#tabbed-view tabs > tab[selected="true"]:hover { 
   background-color: #ecbebe !important;
}
#tabbed-view .tab-text {
    margin-left: -17px !important;
}
.tab-icon {
   width: 0px !important;
   height: 0px !important;
}

если вы не знакомы с css, в основном эти правила:

  • скрыть изображение вкладки значка слева, чтобы получить немного больше места для текста метки (теперь он расположен на несколько пикселей влево и уменьшен в размере).

  • ширина вкладок не более 70 пикселей, за исключением выбранной и при наведении курсора мыши. В этих двух случаях это авто.

person rb_x    schedule 06.04.2012

arrow_upward
0
arrow_downward

Используйте файл userChrome.css с таким правилом:

 tabs > tab[selected="true"], tabs > tab[selected="true"]?
   { 
   font-size: 10px; font-weight: bold; 
   }

В качестве альтернативы используйте макрос:

 ko.views.manager.currentView.parentNode._tab.style.cssText = 'font-size: 10px; font-weight: bold';
person Paul Sweatte    schedule 25.01.2012