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

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

Browse source 
This has been a popular request, because people often have to
interrupt their search to make certain changes and then want to
resume.

Change-Id: Id537ffe439d4522add300d8c1355758774dca1c9
This commit is contained in:
Derk-Jan Hartman 2012-08-04 16:16:25 +02:00
parent 5ced5e288a
commit 7a498e18fb
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 );

5
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;
configuration.modal = true;
// 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