Automatically disable other pointing devices when an external mouse is plugged in.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
| Version | Status |
|---|---|
| 37 | Active |
| 36 | Active |
| 35 | Active |
| 34 | Inactive |
| 33 | Active |
| 32 | Rejected |
| 31 | Active |
| 30 | Active |
| 29 | Active |
| 28 | Active |
| 27 | Active |
| 26 | Active |
| 25 | Active |
| 24 | Active |
| 23 | Active |
| 22 | Active |
| 21 | Active |
| 19 | Rejected |
| 18 | Active |
| 17 | Active |
| 16 | Active |
| 15 | Active |
| 14 | Active |
| 13 | Active |
| 12 | Active |
| 11 | Active |
| 10 | Active |
| 9 | Active |
| 8 | Active |
| 7 | Active |
| 6 | Rejected |
| 5 | Active |
| 4 | Rejected |
| 3 | Active |
| 2 | Active |
| 1 | Rejected |
How about putting the configuration in gsettings and using the built in gnome-shell preferences stuff instead of having many settings in your extension?
I think in gnome-shell 3.2 it is not possible to use gsettings for extensions. My extension should run under 3.2 too, because I'm still using it :-). In my first version I try to use gsettings and it turned out that I have more possibilities if I use a own system to store config. Otherwise the user has to extra install a gsettings schema that's not user friendly or my possibilities to store something are very limited. The second option was that i want to support trackpoints and in gesettings there is no value for trackpoint on or off. I hope that explain why I don't use gsettings.
Touchpad Indicator