Automatically disable other pointing devices when an external mouse is plugged in. Optionally, switch the touchpad, trackpoint, fingertouch, touchscreen or a pen device on and off easily from the top panel. TouchpadIndicator-extensions.gnome.org-v31 Supports GNOME Shell 3.30 and below. See GitHub for list of known issues. (For GNOME Shell 3.32, see: https://github.com/user501254/TouchpadIndicator/issues/35#issuecomment-486425301)
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?