Merge pull request #7177 from Techjar/mipmap-detection-gui Expose arbitrary mipmap detection toggle in UI