gnome-tweak-tool
gnome-tweak-tool copied to clipboard
Use of pointer location option interferes with ctrl-based hotkeys
Websites which use special hotkeys based on ctrl+[key] do not work correctly when the pointer location option is enabled. This appears to affect all web browsers.