Vreemd, dit is veranderd sinds ik Ubuntu 11.04 heb geïnstalleerd. Maar wellicht heb ik ook iets anders gedaan, wat van invloed is geweest op de instellingen .
Zelf gezocht naar 'tips & trucks' voor de muis e.d. op internet, maar niets gevonden.
Jammer want ik gebruikte dit veel, erg handig.