+ variants.progressive = element.hasFlag( 'progressive' ) ||
+ // Active tools/toolgroups
+ ( isToolOrGroup && isActive ) ||
+ // Pressed or selected outline option widgets
+ (
+ OO.ui.OutlineOptionWidget && element instanceof OO.ui.OutlineOptionWidget &&
+ ( element.isPressed() || element.isSelected() )
+ );
+