Developer Tools - reload page/content by shortcut (F5 / Ctrl+R /...)
-
for better understanding:
1.) open "Developer Tools" and change "Dock Side" to "separate window"
2.) switch to your preferred IDE / Editor and change something... like an add of "console.log('this is a test')" line in JavaScript
3.) go back to your "Developer Tools" window (don't use the concerned tab in Vivaldi), press "reload" (F5, Ctrl+R, ...) and notice: nothing happensbtw: this behavior works fine in Chrome, Edge and Fireworks