Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-3535370 ] Keyboard not working after refocus, Linux, sun java 7
|
From: SourceForge.net <no...@so...> - 2012-06-20 08:37:29
|
Bugs item #3535370, was opened at 2012-06-15 00:53 Message generated for change (Comment added) made by przemo_w You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3535370&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Przemek Wesolek (przemo_w) Assigned to: Nobody/Anonymous (nobody) Summary: Keyboard not working after refocus, Linux, sun java 7 Initial Comment: After I upgraded to Java 7, jEdit stopped to respond to key events after re-gaining window focus. After selecting View-New view, in the opened view everything works fine (until refocusing again, of course), in the old view the problems persist. What doesn't work: - entering text in text area - shortcuts - navigating menus after mouse-clicking on menubar What works: - text entering and keyboard navigation in dialogs Steps to reproduce 1. Start jEdit cleanly $ rm new.settings $ mkdir new.settings $ jedit -settings=new.settings 2. Focus on text area by clicking inside (don't close "jEdit Help" window!) 3. Try typing (new characters appear in text area) or hit any shortcut (works) 4. Lose focus (either Alt-TAB to other window, or click with a mouse on other window or desktop) 5. Gain focus (either Alt-TAB to jEdit window, or click with a mouse on jEdit's text area) ---------------------------------------------------------------------- >Comment By: Przemek Wesolek (przemo_w) Date: 2012-06-20 01:37 Message: Also confirmed on SVN trunk as of today. ---------------------------------------------------------------------- Comment By: Przemek Wesolek (przemo_w) Date: 2012-06-15 00:57 Message: Environment information: Linux Ubuntu 10.04 with GNOME 2 jEdit 4.5.1 installed from DEB file 09:51:06 [main] [message] Log: java.version=1.7.0_05 09:51:06 [main] [message] Log: java.vm.version=23.1-b03 09:51:06 [main] [message] Log: java.vm.name=Java HotSpot(TM) Server VM 09:51:06 [main] [message] Log: java.runtime.version=1.7.0_05-b05 09:51:06 [main] [message] Log: java.runtime.name=Java(TM) SE Runtime Environment 09:51:06 [main] [message] Log: java.vendor=Oracle Corporation 09:51:06 [main] [message] Log: java.compiler=null 09:51:06 [main] [message] Log: os.name=Linux 09:51:06 [main] [message] Log: os.version=3.0.0-21-generic-pae 09:51:06 [main] [message] Log: os.arch=i386 09:51:06 [main] [message] Log: user.home=/home/jest 09:51:06 [main] [message] Log: java.home=/usr/lib/jvm/java-7-oracle/jre 09:51:06 [main] [message] Log: java.class.path=/usr/share/jEdit/jedit.jar 09:51:06 [main] [message] jEdit: starting with command line arguments: -reuseview -reusev iew -settings=new.settings 09:51:06 [main] [notice] jEdit: jEdit version 4.5.1 09:51:06 [main] [message] jEdit: Settings directory is /home/jest/new.settings 09:51:06 [main] [message] jEdit: jEdit home directory is /usr/share/jEdit ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3535370&group_id=588 |