ecere/gui/EditBox: Fixed broken highlighting of hexadecimal numbers