Searched refs:totalTabsWidth (Results 1 - 1 of 1) sorted by relevance

/external/chromium_org/third_party/WebKit/Source/devtools/front_end/ui/
H A DTabbedPane.js670 var totalTabsWidth = 0; variable
674 totalTabsWidth += tab.width();
675 var minimalRequiredWidth = totalTabsWidth;

Completed in 42 milliseconds