handle user theme and key set deletion

This commit is contained in:
Steven M. Gava 2002-02-18 01:43:11 +00:00
parent 6354386d65
commit 4974575609
3 changed files with 87 additions and 11 deletions

View file

@ -518,10 +518,16 @@ class IdleConf:
if keySetName:
for event in keyBindings.keys():
binding=self.GetKeyBinding(keySetName,event)
if binding: #otherwise will keep default
if binding:
keyBindings[event]=binding
else: #we are going to return a default, print warning
warning=('\n Warning: configHandler.py - IdleConf.GetCoreKeys'+
' -\n problem retrieving key binding for event '+
`event`+'\n from key set '+`keySetName`+'.\n'+
' returning default value: '+`keyBindings[event]`+'\n')
sys.stderr.write(warning)
return keyBindings
def GetExtraHelpSourceList(self,configSet):
"""
Returns a list of tuples containing the details of any additional