Reduce delay in matching panel animation

[waxlamp]

Opening the matching panel, or causing it to resize and/or move (by manipulating the neighboring panels) reveals a delay before the matching panel contents re-render.

There is also a bit of a delay after clicking on an element of the matching interface, but I don't know if it arises from the same source as the re-render delay.

There is also a "two-phase" animation that happens when the panel size changes; the boxes show the animation delay while the lines pop to where they are supposed to end up. The "second phase" seems to be a bug in animation, perhaps related to the same re-render delay problem described above.