6 Oct
2014
6 Oct
'14
8:30 p.m.
I think I found somehing but need help to correct it. CTRL Home is the jump to top shortkey. I went to http://www.w3.org/2002/09/tests/keys.html to check CTRL Home = keycode 36, but no charcode AltGR É = keycode 0, charcode 36 (and CTRL and ALT is pressed because of AltGR. so AltGr is nothong more than CTRL + ALT). basex / basex-core / src / main / java / org / basex / gui / layout / BaseXKeys.java line 31: /** Beginning of text. */ TEXTSTART(META, MAC ? VK_UP : VK_HOME), Can oneone please tell me how to correct it if I'm on the right way? maybe check the ALT or any other way? Daniel