Developer Tools - reload page/content by shortcut (F5 / Ctrl+R /...)
reinhofs last edited by
for better understanding:
1.) open "Developer Tools" and change "Dock Side" to "separate window"
3.) go back to your "Developer Tools" window (don't use the concerned tab in Vivaldi), press "reload" (F5, Ctrl+R, ...) and notice: nothing happens
btw: this behavior works fine in Chrome, Edge and Fireworks