Shortcuts in Java editor breaks Alt Gr key mappings
---------------------------------------------------
Key: WOL-1023
URL: http://issues.objectstyle.org/jira/browse/WOL-1023
Project: WOProject/WOLips
Issue Type: Bug
Components: wolips
Affects Versions: WOLips 3.3.2.* (nightly build please specify)
Environment: Windows XP
Eclipse 3.4.1
Java JDK 1.6.0_11
WOLips 3.4.5800 (issue was already in 3.4.5693, but I updated first to check that it had not been solved)
Belgian (dot) keyboard
Reporter: Guillaume Polet
I cannot type the 3 following characters in the Java editor: '|', .. and '#' which I can type by pressing the following combinations Alt Gr+1, Alt Gr+2, Alt Gr+3 (Belgian keyboard).
It seems that WOLips (or Eclipse?, I don't know how this is done) interprets the combination Alt Gr + 1 as ALT+CTRL+1, Alt Gr + 2 as ALT+CTRL+2 and Alt Gr + 3 as ALT+CTRL+3 and tries to switch to Java, Wod or HTML instead of outputting the proper character.
The proper behaviour should be:
* If I press Alt Gr+1 or Alt Gr+2 or Alt Gr+3, it should output the corresponding character ('|', .. or '#' on a belgian keyboard, but there are other mappings)
* If I press ALT+CTRL+1,ALT+CTRL+2,ALT+CTRL+3: keep their current behaviour as shortcuts to the correct editors (Java, WOD, HTML).
-- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: http://issues.objectstyle.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira
This archive was generated by hypermail 2.0.0 : Thu Jun 04 2009 - 03:03:24 EDT