Disable search box

ExeOutput for PHP
1

CTRL+f shows a search box that I don’t need.
Where can I disable it? I don’t find where.

2

It’s built-in. Do you think you need an option to disable it?

3

Yes, of course.

4

OK, I’ll add this to our TODO list.

5

Might help in short term:

window.addEventListener("keydown",function (e) {
    if (e.keyCode === 114 || (e.ctrlKey && e.keyCode === 70)) { 
        e.preventDefault();
    }
})
2 Likes