Andreas Kling b6c3df5188 Optimize Painter::draw_rect() a bit. ...

Reorganize the loops to make it go fast. The draw_rect() part of painting
window frames is now ~2.65x faster.

2019-01-16 20:21:41 +01:00

..

.gitignore

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

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

main.cpp

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

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

WSEvent.h

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

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

WSEventLoop.cpp

Rework WindowServer to use select() in its main event loop.

2019-01-16 17:20:58 +01:00

WSEventLoop.h

Rework WindowServer to use select() in its main event loop.

2019-01-16 17:20:58 +01:00

WSEventReceiver.cpp

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

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

WSEventReceiver.h

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

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

WSFrameBuffer.cpp

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

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

WSFrameBuffer.h

Rework WindowServer to use select() in its main event loop.

2019-01-16 17:20:58 +01:00

WSScreen.cpp

Move some more classes to the new coding style.

2019-01-16 17:57:58 +01:00

WSScreen.h

Rework WindowServer to use select() in its main event loop.

2019-01-16 17:20:58 +01:00

WSWindow.cpp

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

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

WSWindow.h

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

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

WSWindowManager.cpp

Optimize Painter::draw_rect() a bit.

2019-01-16 20:21:41 +01:00

WSWindowManager.h

Allow the scheduler to unblock the current process.

2019-01-16 17:47:18 +01:00