Seit ich WDSC 5.1.2 installiert habe, funktioniert die Online Hilfe (zum Beispiel im Editor CODE) nicht mehr. Der Internet-Explorer wird zwar bei der Betätigung der Funtkionstaste F1 geöffnet, aber es kommt dann der Hinweis, dass der notwendige Server nicht gefunden wurde. Mit der alten Version von WDSC (Version 4) funktionierte dies problemlos.

Weiss jemand, wo das Problem liegt?

Schon jetzt vielen Dank für Antworten.