2023-09-18 11:04:16 +02:00
2023-07-20 22:34:35 +02:00
2023-07-20 22:34:35 +02:00
2023-09-18 11:30:43 +02:00
2023-07-26 22:12:37 +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, ...

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