When changing Mip-Map settings, it feels laggy, probably because each time you move the slider, the world re-renders. What I expect to happen: The settings apply AFTER you press DONE.
Comments

When changing Mip-Map settings, it feels laggy, probably because each time you move the slider, the world re-renders. What I expect to happen: The settings apply AFTER you press DONE.
migrated
(Unassigned)
Unconfirmed
Minecraft 1.8-pre1
Retrieved
Works as intended. Confirmed by Grum.