Closed MelindaSW closed 4 years ago
This small fix adds a request to the backend when a tab is closed for removing the cached lines of the closed file. That way it does not take up unnecessary space when it's not needed.
I checked it by adding some console logs like this in the flush function.
This small fix adds a request to the backend when a tab is closed for removing the cached lines of the closed file. That way it does not take up unnecessary space when it's not needed.