Früher ... je exakt platzierter Markierung (Ort/Größe) vielleicht 1 Sekunde, seit 10.10.0 brauche ich dazu locker 10 Sekunden und mehr ... wenn man viel zu markieren hat (Formatierungsfehler, wichtige Bereiche, Details, ...) macht sich dieser Unterschied sehr schmerzlich bemerkbar.