wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 18:21:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "(bug 24566) Make the search and replace dialog non-modal"

Browse source
This commit is contained in:
Catrope 2012-08-14 20:35:00 +00:00 committed by Gerrit Code Review
parent 013e0739a0 7a498e18fb
commit 8769681ef4
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/jquery.wikiEditor.dialogs.config.js
View file

@ -1295,6 +1295,7 @@ $.wikiEditor.modules.dialogs.config = {
dialog: {
width: 500,
dialogClass: 'wikiEditor-toolbar-dialog',
modal: false,
buttons: {
'wikieditor-toolbar-tool-replace-button-findnext': function ( e ) {
$(this).closest( '.ui-dialog' ).data( 'dialogaction', e.target );

3
modules/jquery.wikiEditor.dialogs.js
View file

@ -124,7 +124,10 @@ $.wikiEditor.modules.dialogs = {
// Add some stuff to configuration
configuration.bgiframe = true;
configuration.autoOpen = false;
// By default our dialogs are modal, unless explicitely defined in their specific configuration.
if( typeof configuration.modal == "undefined" ) {
configuration.modal = true;
}
configuration.title = $.wikiEditor.autoMsg( module, 'title' );
// Transform messages in keys
// Stupid JS won't let us do stuff like