Editor von 11.2 / Ctrl-Click on symbol funktioniert nicht

[Uwe Raabe]

Das geht zwar schon noch, aber eben nicht oft genug. Es soll aber mit 11.3 wieder deutlich besser werden.