wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 17:51:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Give username completion a min width of 10em

Browse source 
Change-Id: Id98643714e092f33034dcc84a97845fb2945bfb0
This commit is contained in:
Ed Sanders 2020-05-11 19:44:52 +01:00
parent 78aba45909
commit 6aa2fac2f8
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/CommentTargetWidget.less
View file

@ -24,5 +24,10 @@
padding: 0.05px 8px;
}
}
// TODO: target this to username completion dropdowns, not all
.ve-ui-completionWidget > .oo-ui-menuSelectWidget {
min-width: 10em;
}
}
}