ecere/gui/EditBox: Fixed yet another glitch in the number syntax highlighter