--- a/src/main/webapp/issue-search.js Thu Sep 04 20:20:36 2025 +0200 +++ b/src/main/webapp/issue-search.js Thu Sep 04 20:35:29 2025 +0200 @@ -38,9 +38,12 @@ searchBoxOldContent = searchBox.value; const req = new XMLHttpRequest(); req.addEventListener("load", (evt) => { + const openedIssueIdElem = document.getElementById('opened-issue-id'); + const openedIssueId = openedIssueIdElem ? ('#' + openedIssueIdElem.value) : ''; const dataList = document.getElementById(elementId+'-list'); dataList.innerHTML = ''; JSON.parse(evt.target.responseText).forEach(function(item){ + if (openedIssueId.length > 0 && item.startsWith(openedIssueId)) return; const option = document.createElement('option'); option.value = item; dataList.appendChild(option);