mirror of
https://gitlab.uni-freiburg.de/opensourcevdi/spice
synced 2025-12-27 15:45:54 +00:00
b85c8295d6
Since this is public API, we can't easily change the signature of the function to take a RedsState argument, so instead we apply a hack and store the reds argument inside the device state struct when the interface is added, and retrieve it for use later when it is removed. Acked-by: Pavel Grunt <pgrunt@redhat.com>
45 lines
1.9 KiB
C
45 lines
1.9 KiB
C
/*
|
|
Copyright (C) 2009 Red Hat, Inc.
|
|
|
|
This library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
This library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#ifndef _INPUTS_CHANNEL_H_
|
|
#define _INPUTS_CHANNEL_H_
|
|
|
|
// Inputs channel, dealing with keyboard, mouse, tablet.
|
|
// This include should only be used by reds.c and inputs-channel.c
|
|
|
|
#include <stdint.h>
|
|
#include <spice/vd_agent.h>
|
|
|
|
typedef struct InputsChannel InputsChannel;
|
|
|
|
InputsChannel* inputs_channel_new(void);
|
|
const VDAgentMouseState *inputs_channel_get_mouse_state(InputsChannel *inputs);
|
|
void inputs_channel_on_keyboard_leds_change(InputsChannel *inputs, uint8_t leds);
|
|
void inputs_channel_set_tablet_logical_size(InputsChannel *inputs, int x_res, int y_res);
|
|
|
|
SpiceKbdInstance* inputs_channel_get_keyboard(InputsChannel *inputs);
|
|
int inputs_channel_set_keyboard(InputsChannel *inputs, SpiceKbdInstance *keyboard);
|
|
SpiceMouseInstance* inputs_channel_get_mouse(InputsChannel *inputs);
|
|
int inputs_channel_set_mouse(InputsChannel *inputs, SpiceMouseInstance *mouse);
|
|
SpiceTabletInstance* inputs_channel_get_tablet(InputsChannel *inputs);
|
|
int inputs_channel_set_tablet(InputsChannel *inputs, SpiceTabletInstance *tablet, RedsState *reds);
|
|
int inputs_channel_has_tablet(InputsChannel *inputs);
|
|
void inputs_channel_detach_tablet(InputsChannel *inputs, SpiceTabletInstance *tablet);
|
|
RedsState* spice_tablet_state_get_server(SpiceTabletState *dev);
|
|
|
|
#endif
|