Vradark's Revenge: Bugfix: mouse options in the menu now work as expected

Dear players, We are happy to announce that we just have released an update with a small bugfix. Now menu options "mouse sensitivity" and "swap mouse buttons" in the Settings menu work as expected. Happy playing!