Index: source/Core/IOHandler.cpp
===================================================================
--- source/Core/IOHandler.cpp
+++ source/Core/IOHandler.cpp
@@ -375,6 +375,11 @@
       m_editing = true;
       while (!done) {
         if (fgets(buffer, sizeof(buffer), in) == nullptr) {
+#ifdef _WIN32
+          // this is the equivalent of EINTR for Windows
+          if (GetLastError() == ERROR_OPERATION_ABORTED)
+            continue;
+#endif
           const int saved_errno = errno;
           if (feof(in))
             done = true;