A list of includes for each source file is kept in the DOM for parsing purposes
so symbols can be identified. It appears sometimes that a duplicate include
gets into the list. Although this does not appear to hurt anything, it can
cause unnecessary processing of the include file and if it is very large could
seriously degrade source window performance.
Created attachment 1567 [details]
This file causes /usr/include/bits to be added twice.
This file causes /usr/include/bits to be included twice in the list of includes
to be processed for a source file.
Fixed in cvs HEAD.