Lines Matching refs:mini
46 // When a non-mini-tab becomes a mini-tab the width of the tab animates. If
47 // the width of a mini-tab is >= kMiniTabRendererAsNormalTabWidth then the tab
49 // immediately disappear when transitioning a tab from normal to mini-tab.
67 // Durations for the various parts of the mini tab title animation.
76 // Offset from the right edge for the start of the mini title change animation.
79 // Radius of the radial gradient used for mini title change animation.
82 // Colors of the gradient used during the mini title change animation.
196 if (width() < GetMinimumUnselectedSize().width() && !data().mini)
212 if (!data().mini || width() > kMiniTabRendererAsNormalTabWidth)
248 if (data().mini && width() < kMiniTabRendererAsNormalTabWidth) {
250 // tab to a mini-tab.
284 if (!data().mini || width() >= kMiniTabRendererAsNormalTabWidth) {
620 if (data().mini && height() >= GetMinimumUnselectedSize().height())
634 return !data().mini && IsCloseable() && (IsActive() || IconCapacity() >= 3);