This would be helpful, since mipmapping is always disabled in high detail mode, and I would like to have high res sprites with mipmapping on. The difference between mipmapping off and on is hardly noticeable to me, and hurts performance more than its worth imo.