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
Hallo Daniel,
Yes, basically you are on the correct path. However, LINESTART was affected in this case instead of TEXTSTART.
I just sent a minor pull request (https://github.com/BaseXdb/basex/pull/1003), which should fix the issue.
Cheers, Dirk
On Mon, Oct 6, 2014 at 8:30 PM, Dániel Kiss-Kálmán < kisskalmandaniel@gmail.com> wrote:
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
basex-talk@mailman.uni-konstanz.de