Het probleem is opgelost. Ik had de bijbehorende toolbar verwijderd omdat ik van mening was dat die in de weg stond. Blijkbaar mag dat dus niet want dan werkt de space mouse niet meer. Toolbar teruggeplaatst met het commando navbar en voila, hij werkt weer als vanouds.
Iedereen bedankt voor het meedenken weer.
Iedereen bedankt voor het meedenken weer.