1 |
/* input.h - The interface to and for an input driver. |
/* input.h - The interface to and for an input driver. |
2 |
Copyright (C) 2002 Free Software Foundation, Inc. |
Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc. |
3 |
Written by Marcus Brinkmann. |
Written by Marcus Brinkmann. |
4 |
|
|
5 |
This file is part of the GNU Hurd. |
This file is part of the GNU Hurd. |
65 |
/* Exit the console client. Does not return. */ |
/* Exit the console client. Does not return. */ |
66 |
void console_exit (void); |
void console_exit (void); |
67 |
|
|
68 |
|
/* Switch away from the console an external use of the console like |
69 |
|
XFree. */ |
70 |
|
void console_switch_away (void); |
71 |
|
|
72 |
|
/* Switch back to the console client from an external user of the |
73 |
|
console like XFree. */ |
74 |
|
void console_switch_back (void); |
75 |
|
|
76 |
|
/* Report the mouse event EV to the currently active console. This |
77 |
|
can be called by the input driver at any time. */ |
78 |
|
error_t console_move_mouse (mouse_event_t ev); |
79 |
|
|
80 |
|
|
81 |
#if QUAERENDO_INVENIETIS |
#if QUAERENDO_INVENIETIS |
82 |
/* Do not use, do not remove. */ |
/* Do not use, do not remove. */ |
83 |
void console_deprecated (int key); |
void console_deprecated (int key); |