Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1537)

Unified Diff: third_party/WebKit/public/platform/WebPointerProperties.h

Issue 2289273002: Eraser tool type plumbing from ui/events to web events and PPAPI. (Closed)
Patch Set: Created 4 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/public/platform/WebPointerProperties.h
diff --git a/third_party/WebKit/public/platform/WebPointerProperties.h b/third_party/WebKit/public/platform/WebPointerProperties.h
index 0c0e13e93e3e0ed129b53ac9af6d98c4af0f3ba3..d1eb233b415ca30b73ad770a11a61f69394f3aac 100644
--- a/third_party/WebKit/public/platform/WebPointerProperties.h
+++ b/third_party/WebKit/public/platform/WebPointerProperties.h
@@ -38,6 +38,7 @@ public:
Unknown,
Mouse,
Pen,
+ Eraser,
Touch,
LastEntry = Touch // Must be the last entry in the list
};

Powered by Google App Engine
This is Rietveld 408576698