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 5497c6db5c95351e4e5bc276b28323a8090f3840..3dbc4b44bc9a622a52fb2a38a7502cc55358f7ed 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js |
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js |
@@ -398,7 +398,7 @@ Main.Main = class { |
var target = document ? document.deepActiveElement() : null; |
if (target) { |
var anchor = target.enclosingNodeOrSelfWithNodeName('a'); |
- if (anchor && anchor.preventFollow) |
+ if (anchor) |
event.preventDefault(); |
} |