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

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

1 голос
/ 08 июля 2011

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

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

Я хотел бы изменить свойства шрифта для вкладки САМОСТОЯТЕЛЬНО, чтобы видеть больше вкладок на моем экране без прокрутки.

AFAIK это невозможно в графическом интерфейсе Komodo.

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

Ответы [ 2 ]

1 голос
/ 07 апреля 2012

В ожидании опции многострочной вкладки в будущих выпусках мой быстрый обходной путь для устранения этой проблемы заключался в объявлении в '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 пикселей, кроме выбранной и при наведении курсора мыши.В этих двух случаях это автоматически.

0 голосов
/ 25 января 2012

Используйте файл 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';
...