--- a/devtools/bootstrap.js
+++ b/devtools/bootstrap.js
@@ -77,16 +77,17 @@ function processPrefFile(url) {
       console.log("Unable to match preference type for value:", val);
     }
   });
 }
 
 function setPrefs() {
   processPrefFile(resourceURI.spec + "./client/preferences/devtools.js");
   processPrefFile(resourceURI.spec + "./client/preferences/debugger.js");
+  processPrefFile(resourceURI.spec + "./client/webide/webide-prefs.js");
 }
 
 // Helper to listen to a key on all windows
 function MultiWindowKeyListener({ keyCode, ctrlKey, altKey, callback }) {
   let keyListener = function (event) {
     if (event.ctrlKey == !!ctrlKey &&
         event.altKey == !!altKey &&
         event.keyCode === keyCode) {