Bug 1100944 - Nudge WebIDE timeout higher. r=paul

--HG--
extra : transplant_source : %B0%F4%14%AD%24%DF%AB%A0%26%1D%07%DE5%7D%A8.%2BN%FB%CF
This commit is contained in:
J. Ryan Stinnett 2014-11-20 13:47:52 -06:00
parent d241b9b5ea
commit 26a974586f
2 changed files with 2 additions and 1 deletions

View File

@ -259,7 +259,7 @@ let UI = {
this._busyTimeout = setTimeout(() => {
this.unbusy();
UI.reportError("error_operationTimeout", this._busyOperationDescription);
}, 6000);
}, Services.prefs.getIntPref("devtools.webide.busyTimeout"));
},
cancelBusyTimeout: function() {

View File

@ -32,3 +32,4 @@ pref("devtools.webide.widget.enabled", false);
pref("devtools.webide.widget.inNavbarByDefault", false);
#endif
pref("devtools.webide.zoom", "1");
pref("devtools.webide.busyTimeout", 10000);