wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added vertical margin in calculation of menu position

Browse source
This commit is contained in:
Trevor Parscal 2011-12-07 23:25:13 +00:00
parent 44f8d155b1
commit f42915ac0f
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/es/styles/es.ContextView.css
View file

@ -51,7 +51,7 @@
}
.es-contextView-position-below .es-menuView {
top: 3px;
top: 2px;
}
.es-contextView-panels {

2
modules/es/views/es.ContextView.js
View file

@ -105,7 +105,7 @@ es.ContextView.prototype.set = function() {
}
$menu.css( 'left', menuLeft );
// Position menu on top or bottom depending on viewport
if ( position.top + menuHeight < windowHeight + windowScrollTop ) {
if ( position.top + menuHeight + ( menuMargin * 2 ) < windowHeight + windowScrollTop ) {
this.$.addClass( 'es-contextView-position-below' );
} else {
this.$.addClass( 'es-contextView-position-above' );