jenkins-bot has submitted this change and it was merged. Change subject: TabOptionWidget: Disabled OptionWidget should receive default cursor ......................................................................
TabOptionWidget: Disabled OptionWidget should receive default cursor A disabled OptionWidget of a TabOptionWidget should receive the default cursor instead of a text selection cursor. Bug: T133210 Change-Id: Ia53b3762da04433dab12f347870558d3557119c3 --- M src/styles/widgets/OptionWidget.less 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/src/styles/widgets/OptionWidget.less b/src/styles/widgets/OptionWidget.less index 0b4451e..837532b 100644 --- a/src/styles/widgets/OptionWidget.less +++ b/src/styles/widgets/OptionWidget.less @@ -7,6 +7,9 @@ &.oo-ui-widget-enabled { cursor: pointer; } + &.oo-ui-widget-disabled { + cursor: default; + } &.oo-ui-labelElement .oo-ui-labelElement-label { display: block; -- To view, visit https://gerrit.wikimedia.org/r/284558 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia53b3762da04433dab12f347870558d3557119c3 Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: Bartosz DziewoĆski <matma....@gmail.com> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits