### Steps to reproduce the problem 1. Set focus on a tree node 2. Hit <kbd>F5</kbd> 3. => browser does *not* refresh