ecere/gui/EditBox: (#670) Further number highlighting fixes