I've just published the new version of leo-ver-serv on crates.io. The version 1.8 includes both the fix for the Windows and also has automatic refresh after more than 10s of inactivity.
If the page looses focus for more than 10s, it will refresh automatically once it regains focus. Vitalije -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/949ae17d-99d8-4a14-b8d8-083948e19e6a%40googlegroups.com.
