Extension Manager

voriges Bild  1 2 3 412 nächstes

Über den Extension Manager, den man übers Extras-Menü aufruft, kann man die geladenen Erweiterungen verwalten, einzelne deaktivieren oder entfernen und auch auf Updates prüfen. Über die Hinzufügen-Schaltfläche bindet man heruntergeladene Extensions ein; einfacher geht das allerdings durch einen Doppelklick auf die Download-Dateien.