2023-09-28 13:10:31 +02:00
2023-09-28 13:10:31 +02:00
2023-07-20 22:34:35 +02:00
2023-07-20 22:34:35 +02:00
2023-09-23 14:33:05 +02:00
2023-07-20 22:34:35 +02:00

ginput : Gnome input devices configuration tool

Manage the settings of your keyboard, mouse, ... with a simple GUI. This is for the internal settings of your devices, not for the OS settings. For example, you can change the mouse DPI, polling rate, rgb, ...

Driver interface

Drivers must expose the following symbols:

void driver_init(); // Initialization
uint32_t driver_getkey(); // Calls to this function must return USB keys that this driver registers, until 0
device_type_t driver_get_type(); // Returns device type
char* driver_get_name(void* handle); // Returns peripheral name
char* driver_get_image(void* handle); // Returns peripheral image

// Mouse drivers

Description
Gnome input devices manager
Readme 641 KiB
Languages
C 73.2%
Vala 19.2%
Makefile 7.5%