Lemur editor - local IP wrong
Lemur editor - local IP wrong
The editor does not display the correct local IP address, in case it changed while the editor was running. Happens if you send your notebook to sleep, and wake up at a different location, with different network/IP. Well, not a big deal, but I guess also not a big issue to fix