Re: [graph-tool] Extreme cpu usage by Eclipse PyDev project using graph-tool