Lines Matching defs:string
14 import string
42 'Python Strings':('string','05'),
194 ('\n ','normal'),('"""string"""','string'),('\n var0 = ','normal'),
195 ("'string'",'string'),('\n var1 = ','normal'),("'selected'",'hilite'),
564 value=str(value) #make sure we use a string
665 binding=string.join(prevKeys[event])
692 key=string.join(keySet[bindName]) #make key(s) into a string
930 string.join(self.userHelpList[num-1][:2],';'))
1070 keySetName - string, the name of the new key set
1082 themeName - string, the name of the new theme
