PAMapp/node_modules/istanbul-reports/lib/html/assets/block-navigation.js
@@ -62,6 +62,14 @@ } return function jump(event) { if ( document.getElementById('fileSearch') === document.activeElement && document.activeElement != null ) { // if we're currently focused on the search input, we don't want to navigate return; } switch (event.which) { case 78: // n case 74: // j