Patch 2016-03-29

[list] [*] The arrows to change page not appearing solved on some systems (we'll keep digging in this). [*] You can now change page with the left and right arrow on your keyboard (back on the first page takes you to the settings). [*] Options added for depth of field and antialiasing. [/list]