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.

Author terry.reedy
Recipients terry.reedy, wohlganger
Date 2017-08-29.05:57:22
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1503986242.82.0.0598679646463.issue22707@psf.upfronthosting.co.za>
In-reply-to
Content
I looked at the how the num_spaces and current General options are defined, set, and updated.

editor-on-startup: local name in pyshell.main.

width, height: used in text_options, passed to MultiCallCreator(Text). (Width is EW() attribute, initialized in EW.__init__, but only used immediately in text_options.)

autosave: local name in runscript.ScriptBinding.getfilename, called each time one runs a module.  This a runscript extension option already put on General tab and saved in config-main.

num_spaces: EditorWindow() attribute, set in EW.set_notabs_indentwidth, called in EW.__init__ and ConfigDialog.activate_config_changes for each window.

help_list: local name in EW.reset_help_menu_entries, called in EW.__init__ and CD.a_c_changes, like num_spaces.


For new General options, add EW.reload_general(), which calls class reload methods.  In CD.a_c_w, add at the end, after the loop, 'win_instances.pop().reload_general()'.  This will avoid importing the feature modules into configdialog.
History
Date User Action Args
2017-08-29 05:57:22terry.reedysetrecipients: + terry.reedy, wohlganger
2017-08-29 05:57:22terry.reedysetmessageid: <1503986242.82.0.0598679646463.issue22707@psf.upfronthosting.co.za>
2017-08-29 05:57:22terry.reedylinkissue22707 messages
2017-08-29 05:57:22terry.reedycreate