[ jEdit-users ] can't edit filenames

[Mike M. <ma...@um...>]

I suddenly have a problem where the cursor keys, the delete key, and the 
backspace key, don't work in jEdit's dialog boxes.  Hitting the left- and 
right-cursor arrows when attempting to edit a filename does nothing, nor do the 
backspace and delete keys.  The alphanumeric keys work normally, and I can 
select characters with the mouse and type new characters over them.  The same 
thing seems to happen in most other dialog boxes, e.g. if I type new characters 
into the Global Options | Editing | Extra word characters text box; similarly 
for the Search/Replace dialog.  Oddly, the text box in the Activity Log is 
unaffected.  The Keyboard Tester is likewise unaffected.

The cursor keys and delete/backspace keys in the regular panes are unaffected, 
nor are dialog boxes in other programs.

I'm wondering whether this is something caused by a Java update.  Whatever it is 
seems to have happened very recently.

jEdit 5.2.0
Java 1.8.0_40
Windows 7

Has anyone else seen this?
-- 
	Mike Maxwell
	ma...@um...
	"My definition of an interesting universe is
	one that has the capacity to study itself."
         --Stephen Eastmond