Content of texteditor not updated after filesystem change when editor is open after a browser page refresh #9541
Labels
kind/bug
Outline of a bug - must adhere to the bug report template.
severity/P2
Has a minor but important impact to the usage or development of the system.
Milestone
Description
After a browser refresh, editors that are open already are not refreshed if the file is changed from the terminal.
Reproduction Steps
echo NEW > test/README
echo NEWER > test/README
The text was updated successfully, but these errors were encountered: