| .. |
|
.gitignore
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
main.cpp
|
WindowServer: Move video mode setup to WSScreen.
|
2019-02-17 01:43:01 +01:00 |
|
Makefile
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
WSAPITypes.h
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
WSClientConnection.cpp
|
WindowServer: Get rid of unnecessary messaging indirection.
|
2019-02-17 08:58:42 +01:00 |
|
WSClientConnection.h
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
WSMenu.cpp
|
WindowServer: Rename GUI_Foo to WSAPI_Foo.
|
2019-02-15 09:17:18 +01:00 |
|
WSMenu.h
|
WindowServer: Make WSMenu use WSClientConnection::post_message().
|
2019-02-14 10:45:27 +01:00 |
|
WSMenuBar.cpp
|
WindowServer: Make MenuBar unaware of Process.
|
2019-02-14 10:49:59 +01:00 |
|
WSMenuBar.h
|
WindowServer: Make MenuBar unaware of Process.
|
2019-02-14 10:49:59 +01:00 |
|
WSMenuItem.cpp
|
WindowServer: Give menu items an identifier field and add a simple callback.
|
2019-02-11 10:55:02 +01:00 |
|
WSMenuItem.h
|
WindowServer: Give menu items an identifier field and add a simple callback.
|
2019-02-11 10:55:02 +01:00 |
|
WSMessage.h
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
WSMessageLoop.cpp
|
WindowServer: Get rid of unnecessary messaging indirection.
|
2019-02-17 08:58:42 +01:00 |
|
WSMessageLoop.h
|
WindowServer: Get rid of unnecessary messaging indirection.
|
2019-02-17 08:58:42 +01:00 |
|
WSMessageReceiver.cpp
|
Move WindowServer to userspace.
|
2019-02-17 00:13:47 +01:00 |
|
WSMessageReceiver.h
|
WindowServer: More event -> message renaming.
|
2019-01-26 05:35:45 +01:00 |
|
WSScreen.cpp
|
WindowServer: Move video mode setup to WSScreen.
|
2019-02-17 01:43:01 +01:00 |
|
WSScreen.h
|
WindowServer: Move video mode setup to WSScreen.
|
2019-02-17 01:43:01 +01:00 |
|
WSWindow.cpp
|
WindowServer: WSWindow can have a pointer to the client rather than an ID.
|
2019-02-17 08:54:57 +01:00 |
|
WSWindow.h
|
WindowServer: WSWindow can have a pointer to the client rather than an ID.
|
2019-02-17 08:54:57 +01:00 |
|
WSWindowManager.cpp
|
WindowServer: WSWindow can have a pointer to the client rather than an ID.
|
2019-02-17 08:54:57 +01:00 |
|
WSWindowManager.h
|
WindowServer: WSWindow can have a pointer to the client rather than an ID.
|
2019-02-17 08:54:57 +01:00 |
|
WSWindowType.h
|
WindowServer: Add a WSWindowType enum.
|
2019-02-12 11:53:45 +01:00 |