[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[wmf/1.31.0-wmf.3]: Fix WikiEditor mode switcher widget

2017-10-11 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/383618 )

Change subject: Fix WikiEditor mode switcher widget
..


Fix WikiEditor mode switcher widget

Broken by upstream CSS changes in OOUI.

Change-Id: I04c51f18624c09fd0030a8b73410a731216dd99c
(cherry picked from commit fc9e0d88f61c9035225d124757f261b34a925749)
---
M modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
1 file changed, 2 insertions(+), 10 deletions(-)

Approvals:
  Thcipriani: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css 
b/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
index 60ecaad..5816a53 100644
--- a/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
+++ b/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
@@ -22,18 +22,10 @@
border-radius: 0;
 }
 
-.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle {
-   height: 24px;
-}
-
-.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle .oo-ui-iconElement-icon {
-   height: auto;
+.ve-init-mw-editSwitch .oo-ui-popupToolGroup.oo-ui-iconElement 
.oo-ui-popupToolGroup-handle {
+   padding-top: 32px;
 }
 
 .ve-init-mw-editSwitch .oo-ui-popupToolGroup .oo-ui-toolGroup-tools {
top: 32px;
-}
-
-.ve-init-mw-editSwitch .oo-ui-popupWidget-head {
-   font-weight: bold;
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/383618
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I04c51f18624c09fd0030a8b73410a731216dd99c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: wmf/1.31.0-wmf.3
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Esanders 
Gerrit-Reviewer: Thcipriani 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...VisualEditor[wmf/1.31.0-wmf.3]: Fix WikiEditor mode switcher widget

2017-10-11 Thread Jforrester (Code Review) 
Jforrester has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/383618 )

Change subject: Fix WikiEditor mode switcher widget
..

Fix WikiEditor mode switcher widget

Broken by upstream CSS changes in OOUI.

Change-Id: I04c51f18624c09fd0030a8b73410a731216dd99c
(cherry picked from commit fc9e0d88f61c9035225d124757f261b34a925749)
---
M modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
1 file changed, 2 insertions(+), 10 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/VisualEditor 
refs/changes/18/383618/1

diff --git a/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css 
b/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
index 60ecaad..5816a53 100644
--- a/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
+++ b/modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
@@ -22,18 +22,10 @@
border-radius: 0;
 }
 
-.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle {
-   height: 24px;
-}
-
-.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle .oo-ui-iconElement-icon {
-   height: auto;
+.ve-init-mw-editSwitch .oo-ui-popupToolGroup.oo-ui-iconElement 
.oo-ui-popupToolGroup-handle {
+   padding-top: 32px;
 }
 
 .ve-init-mw-editSwitch .oo-ui-popupToolGroup .oo-ui-toolGroup-tools {
top: 32px;
-}
-
-.ve-init-mw-editSwitch .oo-ui-popupWidget-head {
-   font-weight: bold;
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/383618
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I04c51f18624c09fd0030a8b73410a731216dd99c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: wmf/1.31.0-wmf.3
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Esanders 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits