use Ignore highlighting instead of NonText for shaded stars (closes issues #173)