I use Jupyter notebook.
I frequently change the file that contains the notebook with another program. Since Jupyter notebook loads the notebook in memory, I frequently have to refresh the page in order for Jupyter notebook to reload the file.
The problem is that, when I refresh the page, the UI “freezes”. The buttons on the button bar doesn’t work. The menu opens up, but clicking on a menu item does nothing.
In order to “unfreeze” it, I have to use the keyboard to move the selected cell. For example, I have to press the “arrow down” key.
Should I fill this as a bug?