ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

os: remove stale xev_track.h header

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

Issue #1987
This commit is contained in:
Norman Feske 2017-03-15 15:45:43 +01:00 committed by Christian Helmuth
parent 1fde4d638c
commit f6c494497b
1 changed files with 0 additions and 75 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
repos/os/include/xev_track/xev_track.h
View File

@ -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);