diff --git a/src/_renderer.js b/src/_renderer.js index 4c4c65317ed975514c0a5293c4f592bb42b5a366..33618fed0e8ffbcf2ea284aa1f87b3c8cc7f08eb 100644 --- a/src/_renderer.js +++ b/src/_renderer.js @@ -436,6 +436,11 @@ async function initUI() { document.getElementById("filesystem").setAttribute("style", "opacity: 1;"); + // Resend terminal CWD to fsDisp if we're hot reloading + if (window.performance.navigation.type === 1) { + window.term[window.currentTerm].resendCWD(); + } + await _delay(200); window.updateCheck = new UpdateChecker();