From f34c0e414b741187dbca7f1d40913bb93a747a94 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sat, 26 Jan 2019 05:49:04 +0100
Subject: [PATCH] WindowServer: Remove unused WSMessage::is_paint_event().

---
 WindowServer/WSMessage.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/WindowServer/WSMessage.h b/WindowServer/WSMessage.h
index a1ac26ecd7..5a15837ef4 100644
--- a/WindowServer/WSMessage.h
+++ b/WindowServer/WSMessage.h
@@ -31,7 +31,6 @@ public:
 
     bool is_mouse_event() const { return m_type == MouseMove || m_type == MouseDown || m_type == MouseUp; }
     bool is_key_event() const { return m_type == KeyUp || m_type == KeyDown; }
-    bool is_paint_event() const { return m_type == WM_ClientWantsToPaint; }
 
 private:
     Type m_type { Invalid };