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

Merge "Bug 38655 - VisualEditor: White box syndrome strikes back!"

Browse source
This commit is contained in:
Trevor Parscal 2012-07-25 19:49:45 +00:00 committed by Gerrit Code Review
parent c88cc63b81 5a41f77b99
commit abe32945d1
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve/ui/ve.ui.Context.js
View file

@ -258,14 +258,16 @@ ve.ui.Context.prototype.addInspector = function( name, inspector ) {
ve.ui.Context.prototype.hideInspectorFrame = function ( inspector ) {
this.$inspectors.css({
'width': 0,
'height': 0
'height': 0,
'visibility': 'hidden'
});
};
ve.ui.Context.prototype.resizeInspectorFrame = function( inspector ){
this.$inspectors.css( {
'width': inspector.$.outerWidth( true ) + 10,
'height': inspector.$.outerHeight( true ) + 10
'height': inspector.$.outerHeight( true ) + 10,
'visibility': 'visible'
} );
};