Leider ist es sehr ärgerlich, dass options+ sich nicht minimiert öffnen lässt und auch nicht minimieren lässt. Es nervt. Ich überlege es wieder zu deinstallieren