Wait for host page-cache flush before Ctrl-D on Linux (#229)#494

makermelissa merged 9 commits into

circuitpython:maincircuitpython/web-editor:mainfrom

makermelissa-piclaw:fix/issue-229-linux-pollmakermelissa-piclaw/web-editor:fix/issue-229-linux-pollCopy head branch name to clipboard