Console = "Python shell" AddScript = "Add a script" ScriptOptions = "Script options" ExecuteScript = "Execute script" RenameScript = "Rename script" AutoImportScript = "Auto import in shell" DeleteScript = "Delete script" FunctionsAndVariables = "Functions and variables" NameTaken = "This name has already been taken" NameTooLong = "This name is too long" NonCompliantName = "Allowed characters: a-z, 0-9, _"