Spaces:
Running
Running
"""idlelib.config -- Manage IDLE configuration information. | |
The comments at the beginning of config-main.def describe the | |
configuration files and the design implemented to update user | |
configuration information. In particular, user configuration choices | |
which duplicate the defaults will be removed from the user's | |
configuration files, and if a user file becomes empty, it will be | |
deleted. | |
The configuration database maps options to values. Conceptually, the | |
database keys are tuples (config-type, section, item). As implemented, | |
there are separate dicts for default and user values. Each has | |
config-type keys 'main', 'extensions', 'highlight', and 'keys'. The | |
value for each key is a ConfigParser instance that maps section and item | |
to values. For 'main' and 'extensions', user values override | |
default values. For 'highlight' and 'keys', user sections augment the | |
default sections (and must, therefore, have distinct names). | |
Throughout this module there is an emphasis on returning useable defaults | |
when a problem occurs in returning a requested configuration value back to | |
idle. This is to allow IDLE to continue to function in spite of errors in | |
the retrieval of config information. When a default is returned instead of | |
a requested config value, a message is printed to stderr to aid in | |
configuration problem notification and resolution. | |
""" | |
# TODOs added Oct 2014, tjr | |
from configparser import ConfigParser | |
import os | |
import sys | |
from tkinter.font import Font | |
import idlelib | |
class InvalidConfigType(Exception): pass | |
class InvalidConfigSet(Exception): pass | |
class InvalidTheme(Exception): pass | |
class IdleConfParser(ConfigParser): | |
""" | |
A ConfigParser specialised for idle configuration file handling | |
""" | |
def __init__(self, cfgFile, cfgDefaults=None): | |
""" | |
cfgFile - string, fully specified configuration file name | |
""" | |
self.file = cfgFile # This is currently '' when testing. | |
ConfigParser.__init__(self, defaults=cfgDefaults, strict=False) | |
def Get(self, section, option, type=None, default=None, raw=False): | |
""" | |
Get an option value for given section/option or return default. | |
If type is specified, return as type. | |
""" | |
# TODO Use default as fallback, at least if not None | |
# Should also print Warning(file, section, option). | |
# Currently may raise ValueError | |
if not self.has_option(section, option): | |
return default | |
if type == 'bool': | |
return self.getboolean(section, option) | |
elif type == 'int': | |
return self.getint(section, option) | |
else: | |
return self.get(section, option, raw=raw) | |
def GetOptionList(self, section): | |
"Return a list of options for given section, else []." | |
if self.has_section(section): | |
return self.options(section) | |
else: #return a default value | |
return [] | |
def Load(self): | |
"Load the configuration file from disk." | |
if self.file: | |
self.read(self.file) | |
class IdleUserConfParser(IdleConfParser): | |
""" | |
IdleConfigParser specialised for user configuration handling. | |
""" | |
def SetOption(self, section, option, value): | |
"""Return True if option is added or changed to value, else False. | |
Add section if required. False means option already had value. | |
""" | |
if self.has_option(section, option): | |
if self.get(section, option) == value: | |
return False | |
else: | |
self.set(section, option, value) | |
return True | |
else: | |
if not self.has_section(section): | |
self.add_section(section) | |
self.set(section, option, value) | |
return True | |
def RemoveOption(self, section, option): | |
"""Return True if option is removed from section, else False. | |
False if either section does not exist or did not have option. | |
""" | |
if self.has_section(section): | |
return self.remove_option(section, option) | |
return False | |
def AddSection(self, section): | |
"If section doesn't exist, add it." | |
if not self.has_section(section): | |
self.add_section(section) | |
def RemoveEmptySections(self): | |
"Remove any sections that have no options." | |
for section in self.sections(): | |
if not self.GetOptionList(section): | |
self.remove_section(section) | |
def IsEmpty(self): | |
"Return True if no sections after removing empty sections." | |
self.RemoveEmptySections() | |
return not self.sections() | |
def Save(self): | |
"""Update user configuration file. | |
If self not empty after removing empty sections, write the file | |
to disk. Otherwise, remove the file from disk if it exists. | |
""" | |
fname = self.file | |
if fname and fname[0] != '#': | |
if not self.IsEmpty(): | |
try: | |
cfgFile = open(fname, 'w') | |
except OSError: | |
os.unlink(fname) | |
cfgFile = open(fname, 'w') | |
with cfgFile: | |
self.write(cfgFile) | |
elif os.path.exists(self.file): | |
os.remove(self.file) | |
class IdleConf: | |
"""Hold config parsers for all idle config files in singleton instance. | |
Default config files, self.defaultCfg -- | |
for config_type in self.config_types: | |
(idle install dir)/config-{config-type}.def | |
User config files, self.userCfg -- | |
for config_type in self.config_types: | |
(user home dir)/.idlerc/config-{config-type}.cfg | |
""" | |
def __init__(self, _utest=False): | |
self.config_types = ('main', 'highlight', 'keys', 'extensions') | |
self.defaultCfg = {} | |
self.userCfg = {} | |
self.cfg = {} # TODO use to select userCfg vs defaultCfg | |
# self.blink_off_time = <first editor text>['insertofftime'] | |
# See https:/bugs.python.org/issue4630, msg356516. | |
if not _utest: | |
self.CreateConfigHandlers() | |
self.LoadCfgFiles() | |
def CreateConfigHandlers(self): | |
"Populate default and user config parser dictionaries." | |
idledir = os.path.dirname(__file__) | |
self.userdir = userdir = '' if idlelib.testing else self.GetUserCfgDir() | |
for cfg_type in self.config_types: | |
self.defaultCfg[cfg_type] = IdleConfParser( | |
os.path.join(idledir, f'config-{cfg_type}.def')) | |
self.userCfg[cfg_type] = IdleUserConfParser( | |
os.path.join(userdir or '#', f'config-{cfg_type}.cfg')) | |
def GetUserCfgDir(self): | |
"""Return a filesystem directory for storing user config files. | |
Creates it if required. | |
""" | |
cfgDir = '.idlerc' | |
userDir = os.path.expanduser('~') | |
if userDir != '~': # expanduser() found user home dir | |
if not os.path.exists(userDir): | |
if not idlelib.testing: | |
warn = ('\n Warning: os.path.expanduser("~") points to\n ' + | |
userDir + ',\n but the path does not exist.') | |
try: | |
print(warn, file=sys.stderr) | |
except OSError: | |
pass | |
userDir = '~' | |
if userDir == "~": # still no path to home! | |
# traditionally IDLE has defaulted to os.getcwd(), is this adequate? | |
userDir = os.getcwd() | |
userDir = os.path.join(userDir, cfgDir) | |
if not os.path.exists(userDir): | |
try: | |
os.mkdir(userDir) | |
except OSError: | |
if not idlelib.testing: | |
warn = ('\n Warning: unable to create user config directory\n' + | |
userDir + '\n Check path and permissions.\n Exiting!\n') | |
try: | |
print(warn, file=sys.stderr) | |
except OSError: | |
pass | |
raise SystemExit | |
# TODO continue without userDIr instead of exit | |
return userDir | |
def GetOption(self, configType, section, option, default=None, type=None, | |
warn_on_default=True, raw=False): | |
"""Return a value for configType section option, or default. | |
If type is not None, return a value of that type. Also pass raw | |
to the config parser. First try to return a valid value | |
(including type) from a user configuration. If that fails, try | |
the default configuration. If that fails, return default, with a | |
default of None. | |
Warn if either user or default configurations have an invalid value. | |
Warn if default is returned and warn_on_default is True. | |
""" | |
try: | |
if self.userCfg[configType].has_option(section, option): | |
return self.userCfg[configType].Get(section, option, | |
type=type, raw=raw) | |
except ValueError: | |
warning = ('\n Warning: config.py - IdleConf.GetOption -\n' | |
' invalid %r value for configuration option %r\n' | |
' from section %r: %r' % | |
(type, option, section, | |
self.userCfg[configType].Get(section, option, raw=raw))) | |
_warn(warning, configType, section, option) | |
try: | |
if self.defaultCfg[configType].has_option(section,option): | |
return self.defaultCfg[configType].Get( | |
section, option, type=type, raw=raw) | |
except ValueError: | |
pass | |
#returning default, print warning | |
if warn_on_default: | |
warning = ('\n Warning: config.py - IdleConf.GetOption -\n' | |
' problem retrieving configuration option %r\n' | |
' from section %r.\n' | |
' returning default value: %r' % | |
(option, section, default)) | |
_warn(warning, configType, section, option) | |
return default | |
def SetOption(self, configType, section, option, value): | |
"""Set section option to value in user config file.""" | |
self.userCfg[configType].SetOption(section, option, value) | |
def GetSectionList(self, configSet, configType): | |
"""Return sections for configSet configType configuration. | |
configSet must be either 'user' or 'default' | |
configType must be in self.config_types. | |
""" | |
if not (configType in self.config_types): | |
raise InvalidConfigType('Invalid configType specified') | |
if configSet == 'user': | |
cfgParser = self.userCfg[configType] | |
elif configSet == 'default': | |
cfgParser=self.defaultCfg[configType] | |
else: | |
raise InvalidConfigSet('Invalid configSet specified') | |
return cfgParser.sections() | |
def GetHighlight(self, theme, element): | |
"""Return dict of theme element highlight colors. | |
The keys are 'foreground' and 'background'. The values are | |
tkinter color strings for configuring backgrounds and tags. | |
""" | |
cfg = ('default' if self.defaultCfg['highlight'].has_section(theme) | |
else 'user') | |
theme_dict = self.GetThemeDict(cfg, theme) | |
fore = theme_dict[element + '-foreground'] | |
if element == 'cursor': | |
element = 'normal' | |
back = theme_dict[element + '-background'] | |
return {"foreground": fore, "background": back} | |
def GetThemeDict(self, type, themeName): | |
"""Return {option:value} dict for elements in themeName. | |
type - string, 'default' or 'user' theme type | |
themeName - string, theme name | |
Values are loaded over ultimate fallback defaults to guarantee | |
that all theme elements are present in a newly created theme. | |
""" | |
if type == 'user': | |
cfgParser = self.userCfg['highlight'] | |
elif type == 'default': | |
cfgParser = self.defaultCfg['highlight'] | |
else: | |
raise InvalidTheme('Invalid theme type specified') | |
# Provide foreground and background colors for each theme | |
# element (other than cursor) even though some values are not | |
# yet used by idle, to allow for their use in the future. | |
# Default values are generally black and white. | |
# TODO copy theme from a class attribute. | |
theme ={'normal-foreground':'#000000', | |
'normal-background':'#ffffff', | |
'keyword-foreground':'#000000', | |
'keyword-background':'#ffffff', | |
'builtin-foreground':'#000000', | |
'builtin-background':'#ffffff', | |
'comment-foreground':'#000000', | |
'comment-background':'#ffffff', | |
'string-foreground':'#000000', | |
'string-background':'#ffffff', | |
'definition-foreground':'#000000', | |
'definition-background':'#ffffff', | |
'hilite-foreground':'#000000', | |
'hilite-background':'gray', | |
'break-foreground':'#ffffff', | |
'break-background':'#000000', | |
'hit-foreground':'#ffffff', | |
'hit-background':'#000000', | |
'error-foreground':'#ffffff', | |
'error-background':'#000000', | |
'context-foreground':'#000000', | |
'context-background':'#ffffff', | |
'linenumber-foreground':'#000000', | |
'linenumber-background':'#ffffff', | |
#cursor (only foreground can be set) | |
'cursor-foreground':'#000000', | |
#shell window | |
'stdout-foreground':'#000000', | |
'stdout-background':'#ffffff', | |
'stderr-foreground':'#000000', | |
'stderr-background':'#ffffff', | |
'console-foreground':'#000000', | |
'console-background':'#ffffff', | |
} | |
for element in theme: | |
if not (cfgParser.has_option(themeName, element) or | |
# Skip warning for new elements. | |
element.startswith(('context-', 'linenumber-'))): | |
# Print warning that will return a default color | |
warning = ('\n Warning: config.IdleConf.GetThemeDict' | |
' -\n problem retrieving theme element %r' | |
'\n from theme %r.\n' | |
' returning default color: %r' % | |
(element, themeName, theme[element])) | |
_warn(warning, 'highlight', themeName, element) | |
theme[element] = cfgParser.Get( | |
themeName, element, default=theme[element]) | |
return theme | |
def CurrentTheme(self): | |
"Return the name of the currently active text color theme." | |
return self.current_colors_and_keys('Theme') | |
def CurrentKeys(self): | |
"""Return the name of the currently active key set.""" | |
return self.current_colors_and_keys('Keys') | |
def current_colors_and_keys(self, section): | |
"""Return the currently active name for Theme or Keys section. | |
idlelib.config-main.def ('default') includes these sections | |
[Theme] | |
default= 1 | |
name= IDLE Classic | |
name2= | |
[Keys] | |
default= 1 | |
name= | |
name2= | |
Item 'name2', is used for built-in ('default') themes and keys | |
added after 2015 Oct 1 and 2016 July 1. This kludge is needed | |
because setting 'name' to a builtin not defined in older IDLEs | |
to display multiple error messages or quit. | |
See https://bugs.python.org/issue25313. | |
When default = True, 'name2' takes precedence over 'name', | |
while older IDLEs will just use name. When default = False, | |
'name2' may still be set, but it is ignored. | |
""" | |
cfgname = 'highlight' if section == 'Theme' else 'keys' | |
default = self.GetOption('main', section, 'default', | |
type='bool', default=True) | |
name = '' | |
if default: | |
name = self.GetOption('main', section, 'name2', default='') | |
if not name: | |
name = self.GetOption('main', section, 'name', default='') | |
if name: | |
source = self.defaultCfg if default else self.userCfg | |
if source[cfgname].has_section(name): | |
return name | |
return "IDLE Classic" if section == 'Theme' else self.default_keys() | |
def default_keys(): | |
if sys.platform[:3] == 'win': | |
return 'IDLE Classic Windows' | |
elif sys.platform == 'darwin': | |
return 'IDLE Classic OSX' | |
else: | |
return 'IDLE Modern Unix' | |
def GetExtensions(self, active_only=True, | |
editor_only=False, shell_only=False): | |
"""Return extensions in default and user config-extensions files. | |
If active_only True, only return active (enabled) extensions | |
and optionally only editor or shell extensions. | |
If active_only False, return all extensions. | |
""" | |
extns = self.RemoveKeyBindNames( | |
self.GetSectionList('default', 'extensions')) | |
userExtns = self.RemoveKeyBindNames( | |
self.GetSectionList('user', 'extensions')) | |
for extn in userExtns: | |
if extn not in extns: #user has added own extension | |
extns.append(extn) | |
for extn in ('AutoComplete','CodeContext', | |
'FormatParagraph','ParenMatch'): | |
extns.remove(extn) | |
# specific exclusions because we are storing config for mainlined old | |
# extensions in config-extensions.def for backward compatibility | |
if active_only: | |
activeExtns = [] | |
for extn in extns: | |
if self.GetOption('extensions', extn, 'enable', default=True, | |
type='bool'): | |
#the extension is enabled | |
if editor_only or shell_only: # TODO both True contradict | |
if editor_only: | |
option = "enable_editor" | |
else: | |
option = "enable_shell" | |
if self.GetOption('extensions', extn,option, | |
default=True, type='bool', | |
warn_on_default=False): | |
activeExtns.append(extn) | |
else: | |
activeExtns.append(extn) | |
return activeExtns | |
else: | |
return extns | |
def RemoveKeyBindNames(self, extnNameList): | |
"Return extnNameList with keybinding section names removed." | |
return [n for n in extnNameList if not n.endswith(('_bindings', '_cfgBindings'))] | |
def GetExtnNameForEvent(self, virtualEvent): | |
"""Return the name of the extension binding virtualEvent, or None. | |
virtualEvent - string, name of the virtual event to test for, | |
without the enclosing '<< >>' | |
""" | |
extName = None | |
vEvent = '<<' + virtualEvent + '>>' | |
for extn in self.GetExtensions(active_only=0): | |
for event in self.GetExtensionKeys(extn): | |
if event == vEvent: | |
extName = extn # TODO return here? | |
return extName | |
def GetExtensionKeys(self, extensionName): | |
"""Return dict: {configurable extensionName event : active keybinding}. | |
Events come from default config extension_cfgBindings section. | |
Keybindings come from GetCurrentKeySet() active key dict, | |
where previously used bindings are disabled. | |
""" | |
keysName = extensionName + '_cfgBindings' | |
activeKeys = self.GetCurrentKeySet() | |
extKeys = {} | |
if self.defaultCfg['extensions'].has_section(keysName): | |
eventNames = self.defaultCfg['extensions'].GetOptionList(keysName) | |
for eventName in eventNames: | |
event = '<<' + eventName + '>>' | |
binding = activeKeys[event] | |
extKeys[event] = binding | |
return extKeys | |
def __GetRawExtensionKeys(self,extensionName): | |
"""Return dict {configurable extensionName event : keybinding list}. | |
Events come from default config extension_cfgBindings section. | |
Keybindings list come from the splitting of GetOption, which | |
tries user config before default config. | |
""" | |
keysName = extensionName+'_cfgBindings' | |
extKeys = {} | |
if self.defaultCfg['extensions'].has_section(keysName): | |
eventNames = self.defaultCfg['extensions'].GetOptionList(keysName) | |
for eventName in eventNames: | |
binding = self.GetOption( | |
'extensions', keysName, eventName, default='').split() | |
event = '<<' + eventName + '>>' | |
extKeys[event] = binding | |
return extKeys | |
def GetExtensionBindings(self, extensionName): | |
"""Return dict {extensionName event : active or defined keybinding}. | |
Augment self.GetExtensionKeys(extensionName) with mapping of non- | |
configurable events (from default config) to GetOption splits, | |
as in self.__GetRawExtensionKeys. | |
""" | |
bindsName = extensionName + '_bindings' | |
extBinds = self.GetExtensionKeys(extensionName) | |
#add the non-configurable bindings | |
if self.defaultCfg['extensions'].has_section(bindsName): | |
eventNames = self.defaultCfg['extensions'].GetOptionList(bindsName) | |
for eventName in eventNames: | |
binding = self.GetOption( | |
'extensions', bindsName, eventName, default='').split() | |
event = '<<' + eventName + '>>' | |
extBinds[event] = binding | |
return extBinds | |
def GetKeyBinding(self, keySetName, eventStr): | |
"""Return the keybinding list for keySetName eventStr. | |
keySetName - name of key binding set (config-keys section). | |
eventStr - virtual event, including brackets, as in '<<event>>'. | |
""" | |
eventName = eventStr[2:-2] #trim off the angle brackets | |
binding = self.GetOption('keys', keySetName, eventName, default='', | |
warn_on_default=False).split() | |
return binding | |
def GetCurrentKeySet(self): | |
"Return CurrentKeys with 'darwin' modifications." | |
result = self.GetKeySet(self.CurrentKeys()) | |
if sys.platform == "darwin": | |
# macOS (OS X) Tk variants do not support the "Alt" | |
# keyboard modifier. Replace it with "Option". | |
# TODO (Ned?): the "Option" modifier does not work properly | |
# for Cocoa Tk and XQuartz Tk so we should not use it | |
# in the default 'OSX' keyset. | |
for k, v in result.items(): | |
v2 = [ x.replace('<Alt-', '<Option-') for x in v ] | |
if v != v2: | |
result[k] = v2 | |
return result | |
def GetKeySet(self, keySetName): | |
"""Return event-key dict for keySetName core plus active extensions. | |
If a binding defined in an extension is already in use, the | |
extension binding is disabled by being set to '' | |
""" | |
keySet = self.GetCoreKeys(keySetName) | |
activeExtns = self.GetExtensions(active_only=1) | |
for extn in activeExtns: | |
extKeys = self.__GetRawExtensionKeys(extn) | |
if extKeys: #the extension defines keybindings | |
for event in extKeys: | |
if extKeys[event] in keySet.values(): | |
#the binding is already in use | |
extKeys[event] = '' #disable this binding | |
keySet[event] = extKeys[event] #add binding | |
return keySet | |
def IsCoreBinding(self, virtualEvent): | |
"""Return True if the virtual event is one of the core idle key events. | |
virtualEvent - string, name of the virtual event to test for, | |
without the enclosing '<< >>' | |
""" | |
return ('<<'+virtualEvent+'>>') in self.GetCoreKeys() | |
# TODO make keyBindings a file or class attribute used for test above | |
# and copied in function below. | |
former_extension_events = { # Those with user-configurable keys. | |
'<<force-open-completions>>', '<<expand-word>>', | |
'<<force-open-calltip>>', '<<flash-paren>>', '<<format-paragraph>>', | |
'<<run-module>>', '<<check-module>>', '<<zoom-height>>', | |
'<<run-custom>>', | |
} | |
def GetCoreKeys(self, keySetName=None): | |
"""Return dict of core virtual-key keybindings for keySetName. | |
The default keySetName None corresponds to the keyBindings base | |
dict. If keySetName is not None, bindings from the config | |
file(s) are loaded _over_ these defaults, so if there is a | |
problem getting any core binding there will be an 'ultimate last | |
resort fallback' to the CUA-ish bindings defined here. | |
""" | |
keyBindings={ | |
'<<copy>>': ['<Control-c>', '<Control-C>'], | |
'<<cut>>': ['<Control-x>', '<Control-X>'], | |
'<<paste>>': ['<Control-v>', '<Control-V>'], | |
'<<beginning-of-line>>': ['<Control-a>', '<Home>'], | |
'<<center-insert>>': ['<Control-l>'], | |
'<<close-all-windows>>': ['<Control-q>'], | |
'<<close-window>>': ['<Alt-F4>'], | |
'<<do-nothing>>': ['<Control-x>'], | |
'<<end-of-file>>': ['<Control-d>'], | |
'<<python-docs>>': ['<F1>'], | |
'<<python-context-help>>': ['<Shift-F1>'], | |
'<<history-next>>': ['<Alt-n>'], | |
'<<history-previous>>': ['<Alt-p>'], | |
'<<interrupt-execution>>': ['<Control-c>'], | |
'<<view-restart>>': ['<F6>'], | |
'<<restart-shell>>': ['<Control-F6>'], | |
'<<open-class-browser>>': ['<Alt-c>'], | |
'<<open-module>>': ['<Alt-m>'], | |
'<<open-new-window>>': ['<Control-n>'], | |
'<<open-window-from-file>>': ['<Control-o>'], | |
'<<plain-newline-and-indent>>': ['<Control-j>'], | |
'<<print-window>>': ['<Control-p>'], | |
'<<redo>>': ['<Control-y>'], | |
'<<remove-selection>>': ['<Escape>'], | |
'<<save-copy-of-window-as-file>>': ['<Alt-Shift-S>'], | |
'<<save-window-as-file>>': ['<Alt-s>'], | |
'<<save-window>>': ['<Control-s>'], | |
'<<select-all>>': ['<Alt-a>'], | |
'<<toggle-auto-coloring>>': ['<Control-slash>'], | |
'<<undo>>': ['<Control-z>'], | |
'<<find-again>>': ['<Control-g>', '<F3>'], | |
'<<find-in-files>>': ['<Alt-F3>'], | |
'<<find-selection>>': ['<Control-F3>'], | |
'<<find>>': ['<Control-f>'], | |
'<<replace>>': ['<Control-h>'], | |
'<<goto-line>>': ['<Alt-g>'], | |
'<<smart-backspace>>': ['<Key-BackSpace>'], | |
'<<newline-and-indent>>': ['<Key-Return>', '<Key-KP_Enter>'], | |
'<<smart-indent>>': ['<Key-Tab>'], | |
'<<indent-region>>': ['<Control-Key-bracketright>'], | |
'<<dedent-region>>': ['<Control-Key-bracketleft>'], | |
'<<comment-region>>': ['<Alt-Key-3>'], | |
'<<uncomment-region>>': ['<Alt-Key-4>'], | |
'<<tabify-region>>': ['<Alt-Key-5>'], | |
'<<untabify-region>>': ['<Alt-Key-6>'], | |
'<<toggle-tabs>>': ['<Alt-Key-t>'], | |
'<<change-indentwidth>>': ['<Alt-Key-u>'], | |
'<<del-word-left>>': ['<Control-Key-BackSpace>'], | |
'<<del-word-right>>': ['<Control-Key-Delete>'], | |
'<<force-open-completions>>': ['<Control-Key-space>'], | |
'<<expand-word>>': ['<Alt-Key-slash>'], | |
'<<force-open-calltip>>': ['<Control-Key-backslash>'], | |
'<<flash-paren>>': ['<Control-Key-0>'], | |
'<<format-paragraph>>': ['<Alt-Key-q>'], | |
'<<run-module>>': ['<Key-F5>'], | |
'<<run-custom>>': ['<Shift-Key-F5>'], | |
'<<check-module>>': ['<Alt-Key-x>'], | |
'<<zoom-height>>': ['<Alt-Key-2>'], | |
} | |
if keySetName: | |
if not (self.userCfg['keys'].has_section(keySetName) or | |
self.defaultCfg['keys'].has_section(keySetName)): | |
warning = ( | |
'\n Warning: config.py - IdleConf.GetCoreKeys -\n' | |
' key set %r is not defined, using default bindings.' % | |
(keySetName,) | |
) | |
_warn(warning, 'keys', keySetName) | |
else: | |
for event in keyBindings: | |
binding = self.GetKeyBinding(keySetName, event) | |
if binding: | |
keyBindings[event] = binding | |
# Otherwise return default in keyBindings. | |
elif event not in self.former_extension_events: | |
warning = ( | |
'\n Warning: config.py - IdleConf.GetCoreKeys -\n' | |
' problem retrieving key binding for event %r\n' | |
' from key set %r.\n' | |
' returning default value: %r' % | |
(event, keySetName, keyBindings[event]) | |
) | |
_warn(warning, 'keys', keySetName, event) | |
return keyBindings | |
def GetExtraHelpSourceList(self, configSet): | |
"""Return list of extra help sources from a given configSet. | |
Valid configSets are 'user' or 'default'. Return a list of tuples of | |
the form (menu_item , path_to_help_file , option), or return the empty | |
list. 'option' is the sequence number of the help resource. 'option' | |
values determine the position of the menu items on the Help menu, | |
therefore the returned list must be sorted by 'option'. | |
""" | |
helpSources = [] | |
if configSet == 'user': | |
cfgParser = self.userCfg['main'] | |
elif configSet == 'default': | |
cfgParser = self.defaultCfg['main'] | |
else: | |
raise InvalidConfigSet('Invalid configSet specified') | |
options=cfgParser.GetOptionList('HelpFiles') | |
for option in options: | |
value=cfgParser.Get('HelpFiles', option, default=';') | |
if value.find(';') == -1: #malformed config entry with no ';' | |
menuItem = '' #make these empty | |
helpPath = '' #so value won't be added to list | |
else: #config entry contains ';' as expected | |
value=value.split(';') | |
menuItem=value[0].strip() | |
helpPath=value[1].strip() | |
if menuItem and helpPath: #neither are empty strings | |
helpSources.append( (menuItem,helpPath,option) ) | |
helpSources.sort(key=lambda x: x[2]) | |
return helpSources | |
def GetAllExtraHelpSourcesList(self): | |
"""Return a list of the details of all additional help sources. | |
Tuples in the list are those of GetExtraHelpSourceList. | |
""" | |
allHelpSources = (self.GetExtraHelpSourceList('default') + | |
self.GetExtraHelpSourceList('user') ) | |
return allHelpSources | |
def GetFont(self, root, configType, section): | |
"""Retrieve a font from configuration (font, font-size, font-bold) | |
Intercept the special value 'TkFixedFont' and substitute | |
the actual font, factoring in some tweaks if needed for | |
appearance sakes. | |
The 'root' parameter can normally be any valid Tkinter widget. | |
Return a tuple (family, size, weight) suitable for passing | |
to tkinter.Font | |
""" | |
family = self.GetOption(configType, section, 'font', default='courier') | |
size = self.GetOption(configType, section, 'font-size', type='int', | |
default='10') | |
bold = self.GetOption(configType, section, 'font-bold', default=0, | |
type='bool') | |
if (family == 'TkFixedFont'): | |
f = Font(name='TkFixedFont', exists=True, root=root) | |
actualFont = Font.actual(f) | |
family = actualFont['family'] | |
size = actualFont['size'] | |
if size <= 0: | |
size = 10 # if font in pixels, ignore actual size | |
bold = actualFont['weight'] == 'bold' | |
return (family, size, 'bold' if bold else 'normal') | |
def LoadCfgFiles(self): | |
"Load all configuration files." | |
for key in self.defaultCfg: | |
self.defaultCfg[key].Load() | |
self.userCfg[key].Load() #same keys | |
def SaveUserCfgFiles(self): | |
"Write all loaded user configuration files to disk." | |
for key in self.userCfg: | |
self.userCfg[key].Save() | |
idleConf = IdleConf() | |
_warned = set() | |
def _warn(msg, *key): | |
key = (msg,) + key | |
if key not in _warned: | |
try: | |
print(msg, file=sys.stderr) | |
except OSError: | |
pass | |
_warned.add(key) | |
class ConfigChanges(dict): | |
"""Manage a user's proposed configuration option changes. | |
Names used across multiple methods: | |
page -- one of the 4 top-level dicts representing a | |
.idlerc/config-x.cfg file. | |
config_type -- name of a page. | |
section -- a section within a page/file. | |
option -- name of an option within a section. | |
value -- value for the option. | |
Methods | |
add_option: Add option and value to changes. | |
save_option: Save option and value to config parser. | |
save_all: Save all the changes to the config parser and file. | |
delete_section: If section exists, | |
delete from changes, userCfg, and file. | |
clear: Clear all changes by clearing each page. | |
""" | |
def __init__(self): | |
"Create a page for each configuration file" | |
self.pages = [] # List of unhashable dicts. | |
for config_type in idleConf.config_types: | |
self[config_type] = {} | |
self.pages.append(self[config_type]) | |
def add_option(self, config_type, section, item, value): | |
"Add item/value pair for config_type and section." | |
page = self[config_type] | |
value = str(value) # Make sure we use a string. | |
if section not in page: | |
page[section] = {} | |
page[section][item] = value | |
def save_option(config_type, section, item, value): | |
"""Return True if the configuration value was added or changed. | |
Helper for save_all. | |
""" | |
if idleConf.defaultCfg[config_type].has_option(section, item): | |
if idleConf.defaultCfg[config_type].Get(section, item) == value: | |
# The setting equals a default setting, remove it from user cfg. | |
return idleConf.userCfg[config_type].RemoveOption(section, item) | |
# If we got here, set the option. | |
return idleConf.userCfg[config_type].SetOption(section, item, value) | |
def save_all(self): | |
"""Save configuration changes to the user config file. | |
Clear self in preparation for additional changes. | |
Return changed for testing. | |
""" | |
idleConf.userCfg['main'].Save() | |
changed = False | |
for config_type in self: | |
cfg_type_changed = False | |
page = self[config_type] | |
for section in page: | |
if section == 'HelpFiles': # Remove it for replacement. | |
idleConf.userCfg['main'].remove_section('HelpFiles') | |
cfg_type_changed = True | |
for item, value in page[section].items(): | |
if self.save_option(config_type, section, item, value): | |
cfg_type_changed = True | |
if cfg_type_changed: | |
idleConf.userCfg[config_type].Save() | |
changed = True | |
for config_type in ['keys', 'highlight']: | |
# Save these even if unchanged! | |
idleConf.userCfg[config_type].Save() | |
self.clear() | |
# ConfigDialog caller must add the following call | |
# self.save_all_changed_extensions() # Uses a different mechanism. | |
return changed | |
def delete_section(self, config_type, section): | |
"""Delete a section from self, userCfg, and file. | |
Used to delete custom themes and keysets. | |
""" | |
if section in self[config_type]: | |
del self[config_type][section] | |
configpage = idleConf.userCfg[config_type] | |
configpage.remove_section(section) | |
configpage.Save() | |
def clear(self): | |
"""Clear all 4 pages. | |
Called in save_all after saving to idleConf. | |
XXX Mark window *title* when there are changes; unmark here. | |
""" | |
for page in self.pages: | |
page.clear() | |
# TODO Revise test output, write expanded unittest | |
def _dump(): # htest # (not really, but ignore in coverage) | |
from zlib import crc32 | |
line, crc = 0, 0 | |
def sprint(obj): | |
global line, crc | |
txt = str(obj) | |
line += 1 | |
crc = crc32(txt.encode(encoding='utf-8'), crc) | |
print(txt) | |
#print('***', line, crc, '***') # Uncomment for diagnosis. | |
def dumpCfg(cfg): | |
print('\n', cfg, '\n') # Cfg has variable '0xnnnnnnnn' address. | |
for key in sorted(cfg.keys()): | |
sections = cfg[key].sections() | |
sprint(key) | |
sprint(sections) | |
for section in sections: | |
options = cfg[key].options(section) | |
sprint(section) | |
sprint(options) | |
for option in options: | |
sprint(option + ' = ' + cfg[key].Get(section, option)) | |
dumpCfg(idleConf.defaultCfg) | |
dumpCfg(idleConf.userCfg) | |
print('\nlines = ', line, ', crc = ', crc, sep='') | |
if __name__ == '__main__': | |
from unittest import main | |
main('idlelib.idle_test.test_config', verbosity=2, exit=False) | |
# Run revised _dump() as htest? | |