just got the latest nightly.
the double-hilite problem is still there.
is it a better idea to turn it off by default on the next release?
or was it my job to disable that by removing an old file?


Reply via email to