Network connection under IDE 1.5.8


I have my Arduino Yún board connected, it got an IP address for Wifi connection, but the Arduino IDE can't see this connection under the menu item Tools > Port. It sees just the serial interface (COM6 in my case). Of course I can access the board via WiFi and connect via SSH.

It means the IP address exists and works fine. Just its display under the IDE is missing.

Any advice to make the WiFi connection visible under this Arduino IDE?

Many thanks