extras/ewmh/ewmh_stub.c | 37 -------------------------------------
1 file changed, 37 deletions(-)
diff --git a/extras/ewmh/ewmh_stub.c b/extras/ewmh/ewmh_stub.c
deleted file mode 100644
index 0ac0f0d..0000000
--- a/extras/ewmh/ewmh_stub.c
+++ /dev/null
@@ -1,37 +0,0 @@
-#include <X11/Xlib.h>
-
-#include "ewmh.h"
-
-void
-ewmh_init(Display *display, Window root_window)
-{
- (void)display;
- (void)root_window;
-}
-
-void
-ewmh_set_current_desktop(Display *display, Window root_window, int current_workspace)
-{
- (void)display;
- (void)root_window;
- (void)current_workspace;
-}
-
-void
-ewmh_set_active_window(Display *display, Window root_window, Window window)
-{
- (void)display;
- (void)root_window;
- (void)window;
-}
-
-void
-ewmh_sync(Display *display, Window root_window,
- Window *windows, int *window_workspace, int window_count)
-{
- (void)display;
- (void)root_window;
- (void)windows;
- (void)window_workspace;
- (void)window_count;
-}