jenkins-bot has submitted this change and it was merged.
Change subject: DebugBar: Re-style linmod dump hide button to left with '^' icon
......................................................................
DebugBar: Re-style linmod dump hide button to left with '^' icon
Change-Id: I693e18601e0094477841b83127bc705d6e742102
---
M src/ui/styles/ve.ui.DebugBar.css
M src/ui/ve.ui.DebugBar.js
2 files changed, 1 insertion(+), 1 deletion(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/ui/styles/ve.ui.DebugBar.css b/src/ui/styles/ve.ui.DebugBar.css
index 017f953..d702803 100644
--- a/src/ui/styles/ve.ui.DebugBar.css
+++ b/src/ui/styles/ve.ui.DebugBar.css
@@ -38,7 +38,6 @@
}
.ve-ui-debugBar-dump > .oo-ui-buttonWidget {
- float: right;
margin-bottom: 0.25em;
}
diff --git a/src/ui/ve.ui.DebugBar.js b/src/ui/ve.ui.DebugBar.js
index 6f7754f..84d230e 100644
--- a/src/ui/ve.ui.DebugBar.js
+++ b/src/ui/ve.ui.DebugBar.js
@@ -29,6 +29,7 @@
this.$dumpModel = $( '<td>' ).addClass( 've-ui-debugBar-dump-model' );
hideDumpButton = new OO.ui.ButtonWidget( {
+ icon: 'collapse',
label: 'Hide'
} );
--
To view, visit https://gerrit.wikimedia.org/r/229446
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I693e18601e0094477841b83127bc705d6e742102
Gerrit-PatchSet: 3
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
