New submission from Terry J. Reedy: Currently, some option changes take effect immediately, and some only when Idle is started again. To the extent possible, options should take effect immediately, perhaps by not caching values outside of the config dictionary that records changes before they are written out.
Where immediately effect is not possible, there should be an indication. See #22705 for documenting extension options. ---------- assignee: terry.reedy components: IDLE messages: 229849 nosy: terry.reedy priority: normal severity: normal stage: needs patch status: open title: Idle: changed options should take effect immediately type: behavior _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue22707> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com