Switch video filters from the header bar
I don't know if this is technically feasible, but there are perhaps some usercases where it can be more convenient to be able to switch video filters on-the-fly during gameplay:
- when I launch a handheld game with the "CRT" filted enabled (it can look particulary jarring on Nintendo DS games)
- when I notice that the "Sharp" filter produce pixelart aberrations (note the width of the "U" bars on the 2nd screenshot)
Edited by Laurent Pointecouteau