CoolCat467 added the comment:
In a classroom circumstance, yes, that kind of makes sense, but at the moment,
if you want to add an extension you have to either manually edit the file, or
let a automated script touch your entire system with root permissions that
could be doing who knows what
CoolCat467 added the comment:
Yes, changing settings on ZzDummy works correctly, but this is because an entry
for it exists in the default config file. The problem is when if you attempt to
add a new extension through the user config file. When IDLE is looking for
extensions to load, it
Change by CoolCat467 :
--
nosy: +taleinat, terry.reedy
___
Python tracker
<https://bugs.python.org/issue45357>
___
___
Python-bugs-list mailing list
Unsubscribe:
Change by CoolCat467 :
--
keywords: +patch
pull_requests: +27063
stage: -> patch review
pull_request: https://github.com/python/cpython/pull/28713
___
Python tracker
<https://bugs.python.org/issu
Change by CoolCat467 :
--
nosy: -terry.reedy
versions: +Python 3.9
___
Python tracker
<https://bugs.python.org/issue45357>
___
___
Python-bugs-list mailin
New submission from CoolCat467 :
I was trying to write an extension for Idle, and was noticing extension keys
defined in ~/.idlerc weren't being used, so I looked into it and found that in
idlelib.config.idleConf, `GetExtensionKeys`, `__GetRawExtensionKeys`, and
`GetKeyBinding` would
