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.
Added trackers.
Fixed in cvs HEAD.