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