#4141 jEdit loses focus on closing search dialog after failed search

[jonathan chetwynd]

Apologies if this has been fixed.
jEdit 5.5.0 Ubuntu Java 11.0.25

Open Browser or any other application,
open any document in jEdit,
open search dialog, type in any word that will not be found, after search
Close dialog.
On my setup, Browser window grabs focus, jEdit has lost focus, and is behind.

desired result: jEdit retains focus, and remains visible on top

When search result is found this does not apply.

my search term was fidd in a short document with Fidd,
I had not ticked ignore case at this time.

regards...

FWIW: I'd also appreciate docking search