Mirror
/
cpython
mirror of https://github.com/python/cpython
4
1
Fork 0
Code Issues Releases Wiki Activity

remove debug cruft

This commit is contained in:
Steven M. Gava 2002-03-05 00:31:43 +00:00
parent f31eec0e2e
commit dfd0b296d7
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Lib/idlelib/configDialog.py
View File

@ -942,28 +942,22 @@ class ConfigDialog(Toplevel):
print 'current option',currentOption print 'current option',currentOption
##load available theme option menus ##load available theme option menus
if self.themeIsBuiltin.get(): #default theme selected if self.themeIsBuiltin.get(): #default theme selected
print 'builtin theme'
itemList=idleConf.GetSectionList('default','highlight') itemList=idleConf.GetSectionList('default','highlight')
itemList.sort() itemList.sort()
print 'builtin items:',itemList
self.optMenuThemeBuiltin.SetMenu(itemList,currentOption) self.optMenuThemeBuiltin.SetMenu(itemList,currentOption)
itemList=idleConf.GetSectionList('user','highlight') itemList=idleConf.GetSectionList('user','highlight')
itemList.sort() itemList.sort()
print 'user items:',itemList
if not itemList: if not itemList:
self.radioThemeCustom.config(state=DISABLED) self.radioThemeCustom.config(state=DISABLED)
self.customTheme.set('- no custom themes -') self.customTheme.set('- no custom themes -')
else: else:
self.optMenuThemeCustom.SetMenu(itemList,itemList[0]) self.optMenuThemeCustom.SetMenu(itemList,itemList[0])
else: #user theme selected else: #user theme selected
print 'user theme'
itemList=idleConf.GetSectionList('user','highlight') itemList=idleConf.GetSectionList('user','highlight')
itemList.sort() itemList.sort()
print 'user items:',itemList
self.optMenuThemeCustom.SetMenu(itemList,currentOption) self.optMenuThemeCustom.SetMenu(itemList,currentOption)
itemList=idleConf.GetSectionList('default','highlight') itemList=idleConf.GetSectionList('default','highlight')
itemList.sort() itemList.sort()
print 'builtin items:',itemList
self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0]) self.optMenuThemeBuiltin.SetMenu(itemList,itemList[0])
self.SetThemeType() self.SetThemeType()
##load theme element option menu ##load theme element option menu