如何更改Komodo Edit环境中的标签栏布局？ （例如字体大小）

Question

总是打开很多很多Komodo标签，我希望找到一些调整标签栏布局的解决方案。例如字体大小。

当然，在Komodo首选项中，我可以更改与标签内容相关的字体属性。但这并不是我想要的。

我想更改TAB ITSELF的字体属性，以便在屏幕上看到更多标签而无需任何滚动。

AFAIK这在Komodo首选项GUI中是不可能的。

还有其他解决方案吗？ （例如，编辑一些komodo配置文件）

Answer 1

在将来的版本中等待多行选项卡选项时，我的快速解决方法是在'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，基本上这些规则可以：

• 隐藏左侧的图标标签图像，以便为标签文本获得更多空间（现在将一些像素放在左侧并缩小尺寸）。

• 标签的宽度最大为70px，除了所选标签和鼠标悬停。在这2个案例中，它是自动的。

Answer 2

使用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';