wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 17:50:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Don't apply margin to dotdotdot menu items"

Browse source
This commit is contained in:
jenkins-bot 2016-05-10 14:23:49 +00:00 committed by Gerrit Code Review
parent 7b4b3463ed 351297caf1
commit 14d4c67ee7
2 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/ooui/mw.echo.ui.NotificationItemWidget.js
View file

@ -140,8 +140,7 @@
// Add a "mark as read" secondary action // Add a "mark as read" secondary action
this.toggleReadSecondaryButton = new mw.echo.ui.MenuItemWidget( { this.toggleReadSecondaryButton = new mw.echo.ui.MenuItemWidget( {
data: 'toggleRead', data: 'toggleRead',
prioritized: false, prioritized: false
classes: [ 'mw-echo-ui-notificationItemWidget-content-actions-button' ]
} ); } );
this.menuPopupButtonWidget.getMenu().addItems( [ this.toggleReadSecondaryButton ] ); this.menuPopupButtonWidget.getMenu().addItems( [ this.toggleReadSecondaryButton ] );

2
modules/ooui/styles/mw.echo.ui.NotificationItemWidget.less
View file

@ -60,7 +60,7 @@
} }
&-button, &-button,
.mw-echo-ui-menuItemWidget { .mw-echo-ui-menuItemWidget-prioritized {
margin-right: 1.2em; margin-right: 1.2em;
} }