Message210274
As the title suggests, this patch adds a second configuration dialog, used to configure extensions.
This is useful because many extensions have parameters, but setting them can only be done by editing a file. Also, the documentation for such parameters is hard to find (when it exists). Finally, it allows us (the IDLE devs) to add more default extensions, allowing users to easily configure them or disable them, all without cluttering the regular config dialog.
Regarding the patch, please note that it is from 5.5 years ago. Back then there was no scrollable frame that worked properly, so I implemented one which worked well enough for the config dialogs. I didn't test it thoroughly enough in other scenarios to suggest adding it to Tkinter.
I think that since then a proper scrollable frame was added to Tk, so that part of the patch is probably no longer necessary. |
|
Date |
User |
Action |
Args |
2014-02-04 22:39:16 | taleinat | set | recipients:
+ taleinat, terry.reedy, kbk, gpolo, weeble |
2014-02-04 22:39:16 | taleinat | set | messageid: <1391553556.45.0.230163255995.issue3068@psf.upfronthosting.co.za> |
2014-02-04 22:39:16 | taleinat | link | issue3068 messages |
2014-02-04 22:39:16 | taleinat | create | |
|