Resource Pack Menu Lag

Since updating to Minecraft 1.9 the resource pack menu lags really badly, none of the other options menu's does this. Its not too important but slightly frustrating.

Steps to reproduce:
1. have a number of resource packs installed
2. just wave your mouse over them with decent speed
3. see that the resource pack arrows are slower then your mouse