Don't translate Device menu
@@ -351,7 +351,7 @@ class Workbench(tk.Tk):
self.get_menu("edit", _("Edit"))
self.get_menu("view", _("View"))
self.get_menu("run", _("Run"))
- self.get_menu("tempdevice", _("Device"))
+ self.get_menu("tempdevice", "Device")
self.get_menu("tools", _("Tools"))
self.get_menu("help", _("Help"))
