encode devicename

Author: gen2brain

src/m64py/frontend/input.py

@@ -240,7 +240,7 @@ def set_opts(self):
     def save_opts(self):
         devicename = self.device_map.get(self.device)
         if devicename:
-            self.config.set_parameter("name", devicename)
+            self.config.set_parameter("name", devicename.encode())
 
         for key, val in self.opts.items():
             param, tooltip, widget, ptype = val