diff --git a/ui (gen4)/browser.js b/ui (gen4)/browser.js index 527de850..ed61c1e5 100755 --- a/ui (gen4)/browser.js +++ b/ui (gen4)/browser.js @@ -56,9 +56,7 @@ module.closeWindow = function(){ window.showDevTools = -module.showDevTools = function(){ - // XXX -} +module.showDevTools = function(){} window.reload = diff --git a/ui (gen4)/index.html b/ui (gen4)/index.html index 1a933a98..3faf924e 100755 --- a/ui (gen4)/index.html +++ b/ui (gen4)/index.html @@ -10,14 +10,6 @@ - - - - - - - -