如何更改 Komodo Edit 环境中的选项卡布局？ （例如字体大小）

Question

由于总是打开许多、许多、许多 Komodo 选项卡，我很乐意找到一些解决方案来调整选项卡栏布局。例如字体大小。

当然，在 Komodo 首选项中，我可以更改与选项卡内容相关的字体属性。但这并不是我正在寻找的。

我想更改选项卡本身的字体属性，以便在不滚动的情况下在屏幕上看到更多选项卡。

据我所知，这在 Komodo 首选项 GUI 中是不可能的。

还有其他解决办法吗？ （例如编辑一些科莫多配置文件）

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，基本上这些规则是：

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

• 选项卡的宽度最大为 70 像素，所选选项卡和鼠标悬停时除外。在这 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';