<p>Okay, I tested it with the Java test case, and well, it's still unusably slow when I duplicate it 100 times, but it's indeed incredibly faster than it was before :) (e.g. I actually saw the file after a few seconds, instead of getting bored and hitting ^C)  And well, 350100 tags is a bit too much anyway so "a few seconds" seem reasonable.  Especially as with "only" 35010 it's close to usable, so I guess it's just great.</p>

<p>And as you mention, it scales a lot better: 350000 tags is only slightly slower than 35000, while it used to be a <em>lot</em> slower (I didn't even care to wait long enough).</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/pull/797#issuecomment-166696813">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ6XYMdOzPUTfKj4SCIqnSOjAeQ_Nks5pSY1PgaJpZM4G0Ju3.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/797#issuecomment-166696813"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>