This issue tracker has been migrated to GitHub ,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
Created on 2014年10月23日 00:17 by terry.reedy, last changed 2022年04月11日 14:58 by admin. This issue is now closed.
| Messages (2) | |||
|---|---|---|---|
| msg229846 - (view) | Author: Terry J. Reedy (terry.reedy) * (Python committer) | Date: 2014年10月23日 00:17 | |
Currently, each extension is supposed to have an 'enable' option and optionally enable_editor or enable_shell, to "to apply it only to editor/shell windows" (config-extensions.def comment). I think the rule should be changed (see below). Currently, the file itself does not follow its own rule. Most editor-only options only have enable and not enable_editor. One have enable and enable_shell=False, presumably to exclude the shell, but a user could override False with True, in the user config-extensions, which would not be valid. The file should be changed to follow the current or altered rule. I think that the requirement should be for the presence of any one of the enable options. An extension that is only valid for the editor should simply have enable_editor. Ditto for enable_shell. Enable by itself would globally turn the extension on or all for all windows, include output windows. It is possible that we might need an enable_output option too. |
|||
| msg336161 - (view) | Author: Terry J. Reedy (terry.reedy) * (Python committer) | Date: 2019年02月21日 00:21 | |
#27099 converted extensions to features always enabled for when they apply to. |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022年04月11日 14:58:09 | admin | set | github: 66893 |
| 2019年02月21日 00:21:39 | terry.reedy | set | status: open -> closed resolution: out of date messages: + msg336161 stage: needs patch -> resolved |
| 2014年10月23日 00:17:04 | terry.reedy | create | |