Andreas Kling f34c0e414b WindowServer: Remove unused WSMessage::is_paint_event().

2019-01-26 05:49:04 +01:00

..

.gitignore

Tear out or duplicate what's unique for WindowServer from Widgets.

2019-01-16 16:03:50 +01:00

main.cpp

WindowServer: Rename WSEvent to WSMessage.

2019-01-26 05:28:02 +01:00

WSMessage.h

WindowServer: Remove unused WSMessage::is_paint_event().

2019-01-26 05:49:04 +01:00

WSMessageLoop.cpp

WindowServer: Rename the two painting phases.

2019-01-26 05:45:47 +01:00

WSMessageLoop.h

WindowServer: More event -> message renaming.

2019-01-26 05:35:45 +01:00

WSMessageReceiver.cpp

WindowServer: Rename WSEvent to WSMessage.

2019-01-26 05:28:02 +01:00

WSMessageReceiver.h

WindowServer: More event -> message renaming.

2019-01-26 05:35:45 +01:00

WSScreen.cpp

WindowServer: More event -> message renaming.

2019-01-26 05:35:45 +01:00

WSScreen.h

Flesh out keyboard event support a bit more.

2019-01-21 07:27:26 +01:00

WSWindow.cpp

WindowServer: Rename the two painting phases.

2019-01-26 05:45:47 +01:00

WSWindow.h

WindowServer: More event -> message renaming.

2019-01-26 05:35:45 +01:00

WSWindowManager.cpp

WindowServer: Rename the two painting phases.

2019-01-26 05:45:47 +01:00

WSWindowManager.h

WindowServer: Rename the two painting phases.

2019-01-26 05:45:47 +01:00