@skywatcher: Danke für den Tipp! Einiges lässt sich so lösen. Provider ist bei mir aber immer derselbe - bin auf Kabel. Viele der Hilfe-Videos hab ich schon angeschaut.
dhwz: Danke fürs Feedback!
1 - ein Problem vom Windows-API also? Verstehe. Wenn man so Spalten-Klick-Events abfangen kann, könnte dreamboxEDIT ja nachhelfen (vorher Selektion merken, danach wiederherstellen). Wäre aber sicher aufwendig und hässlich. Vielleicht gibt's ein Flag beim Erzeugen der Liste? Ich kenn Windows-APIs leider gar nicht.
2 - ok, ping ist schneller. Vieleicht genügt aber ein TCP-ping? Das braucht im Linux keine spezielle Permission und wird im Windows auch keine Firewall-Meldungen auslösen.
Egal, wie gesagt kann ich mit beiden Problemen gut leben. dreamboxEDIT ist super-praktisch!