Index: third_party/WebKit/Source/devtools/front_end/main/Main.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/main/Main.js b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
index 498ae06c86ebc82fd08a06d612bf439da9aa416d..15d91a638a376155d9aa8c75ad0dd4da21072081 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js |
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
@@ -83,7 +83,7 @@ WebInspector.Main.prototype = { |
var settings = JSON.parse(window.decodeURI(settingsParam)); |
for (var key in settings) |
prefs[key] = settings[key]; |
- } catch(e) { |
+ } catch (e) { |
// Ignore malformed settings. |
} |
} |