Widget 'AirTraffic' Trash probleem <OPGELOST>

Ik heb de widget 'AirTraffic' gedownload, geopend en in Dashboard gezet. Vervolgens heb ik de widget die achterbleef op mijn desktop naar de Trash gesleept en gepoogd te verwijderen. Dit laatste werkt echter niet, en ik krijg de melding dat het betreffende bestand in gebruik is. Andere widgets heb ik op dezelfde manier verwijderd en dat ging wel goed. Iemand een idee?

Gewoon in de map Widgets zetten en niet weggooien dus.

Een heel pragmatisch antwoord. Dank je.

edit> Dat schijnt met alle geimporteerde widgets te moeten… Na een herstart waren al mijn nieuwe widgets namelijk weg. Gek dat slechts eentje een krimp gaf bij het ‘empty trashen’…