BaseXdb/basex — pull request #1007 by KissDaniGH (2014-10-08 09:06:40+00:00)
Title: Update BaseXKeys.java

Changing BaseXKeys last parameter from boolean to int, so we can make difference between modification key (SHIFT, ALT, ...)
It's needed, because $ on the hungarian keyboard is CRTL ALT Home and CTRL Home is a jump to textstart. So need to disable jumping when CTRL ALT Home is pressed.