[jedit:bugs] #4141 jEdit loses focus on closing search dialog after failed search

jonathan chetwynd via jEdit-devel <[email protected]> Thu, 23 Jan 2025 12:24:16 -0000
Newsgroups gmane.editors.jedit.devel
Message-ID <[email protected]>


---

**[bugs:#4141] jEdit loses focus on closing search dialog after failed search**

**Status:** open
**Group:** minor bug
**Created:** Thu Jan 23, 2025 12:24 PM UTC by jonathan chetwynd
**Last Updated:** Thu Jan 23, 2025 12:24 PM UTC
**Owner:** nobody


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




---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel