Searched refs:extfiles (Results 1 – 1 of 1) sorted by relevance
1116 extfiles = { # Map built-in config-extension section names to file names. variable in EditorWindow1121 fname = self.extfiles.get(name, name)