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)

Extension Homepage

https://user501254.github.io/TouchpadIndicator/

Download

Shell version… Extension version…