[Issue 1812] DDOC - Unicode identifiers are not correctly marked.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1812





------- Comment #4 from burton-radons at shaw.ca  2008-01-31 01:27 -------
What you should see is that the first fuhrer is underlined, but the second is
not, because it's not converted into a DDOC_DECL.

And hm, you're right - DDoc was 0.132, while Unicode identifiers was 0.74. I
guess I just noticed them in the opposite order.


--