Searched refs:sidebarTitleSize (Results 1 – 5 of 5) sorted by relevance
213 Sidebar.prototype.sidebarTitleSize = 8; method in Sidebar2103 parent.style.height = (this.thumbHeight + border + this.sidebarTitleSize + 8) + 'px';2107 div.style.fontSize = this.sidebarTitleSize + 'px';2115 div.style.height = (this.sidebarTitleSize + 12) + 'px';
2043 if (config.sidebarTitleSize)2045 var val = parseInt(config.sidebarTitleSize);2049 Sidebar.prototype.sidebarTitleSize = val; method in Sidebar
2357 …okeWidth=1.3,Sidebar.prototype.thumbAntiAlias=!0);Sidebar.prototype.sidebarTitleSize=8;Sidebar.pro…2497 …sidebarTitleSize+8+"px",b=document.createElement("div"),b.style.color=Editor.isDarkMode()?"#A0A0A0…10501 …rTitles=b.sidebarTitles);b.sidebarTitleSize&&(f=parseInt(b.sidebarTitleSize),!isNaN(f)&&0<f?Sideba…
3169 …rTitles=b.sidebarTitles);b.sidebarTitleSize&&(c=parseInt(b.sidebarTitleSize),!isNaN(c)&&0<c?Sideba…