From f6c494497b76623251b5586cea6698660080c746 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Mar 2017 15:45:43 +0100
Subject: [PATCH] os: remove stale xev_track.h header

This is a follow-up commit to "Remove app/xvfb and lib/xev_track".

Issue #1987
---
 repos/os/include/xev_track/xev_track.h | 75 --------------------------
 1 file changed, 75 deletions(-)
 delete mode 100644 repos/os/include/xev_track/xev_track.h

diff --git a/repos/os/include/xev_track/xev_track.h b/repos/os/include/xev_track/xev_track.h
deleted file mode 100644
index d7e5a8677e..0000000000
--- a/repos/os/include/xev_track/xev_track.h
+++ /dev/null
@@ -1,75 +0,0 @@
-/*
- * \brief  XEvent tracker
- * \author Norman Feske
- * \date   2009-11-05
- */
-
-/*
- * Copyright (C) 2009-2017 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
- */
-
-#include <X11/Xlib.h>
-
-enum { MAX_VIEWS = 100 };
-
-extern int config_force_top;
-
-
-/******************************************************
- ** Functions provided by the X window event tracker **
- ******************************************************/
-
-/**
- * Initialize window-event tracking facility
- *
- * \return true on success
- */
-bool xev_track_init(Display *dpy);
-
-/**
- * Evaluate X event for window or screen updates
- */
-void xev_track_handle_event(Display *dpy, XEvent &ev);
-
-/**
- * Track dirty pixels caused by the mouse cursor
- */
-void xev_track_handle_cursor(Display *dpy);
-
-
-/******************************************************
- ** Functions called from the X window event tracker **
- ******************************************************/
-
-/**
- * Called when a window is created
- */
-extern void create_view(int view_id);
-
-/**
- * Called when a window get destroyed
- */
-extern void destroy_view(int view_id);
-
-/**
- * Called to define the view that displays the desktop
- */
-extern void set_background_view(int view_id);
-
-/**
- * Called when a window gets a new size or position
- */
-extern void place_view(int view_id, int x, int y, int w, int h);
-
-/**
- * Move view to another view-stacking position
- */
-extern void stack_view(int view_id, int neighbor_id, bool behind);
-
-/**
- * Refresh screen region
- */
-extern void refresh(int x, int y, int w, int h);