Index: third_party/WebKit/public/web/WebInputEvent.h |
diff --git a/third_party/WebKit/public/web/WebInputEvent.h b/third_party/WebKit/public/web/WebInputEvent.h |
index 4751e08863381544dd07f54ae56448178a42f948..53ca6a160bca6f32f40af13023ef2e97fc2cefa4 100644 |
--- a/third_party/WebKit/public/web/WebInputEvent.h |
+++ b/third_party/WebKit/public/web/WebInputEvent.h |
@@ -283,6 +283,11 @@ public: |
// easier to leave it always false than ifdef. |
bool isSystemKey; |
+ // Whether the event forms part of a browser-handled keyboard shortcut. |
+ // This can be used to conditionally suppress Char events after a |
+ // shortcut-triggering RawKeyDown goes unhandled. |
+ bool isBrowserShortcut; |
+ |
// |text| is the text generated by this keystroke. |unmodifiedText| is |
// |text|, but unmodified by an concurrently-held modifiers (except |
// shift). This is useful for working out shortcut keys. Linux and |
@@ -300,6 +305,7 @@ public: |
, windowsKeyCode(0) |
, nativeKeyCode(0) |
, isSystemKey(false) |
+ , isBrowserShortcut(false) |
{ |
memset(&text, 0, sizeof(text)); |
memset(&unmodifiedText, 0, sizeof(unmodifiedText)); |