Message300973
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. |
|
Date |
User |
Action |
Args |
2017-08-29 05:57:22 | terry.reedy | set | recipients:
+ terry.reedy, wohlganger |
2017-08-29 05:57:22 | terry.reedy | set | messageid: <1503986242.82.0.0598679646463.issue22707@psf.upfronthosting.co.za> |
2017-08-29 05:57:22 | terry.reedy | link | issue22707 messages |
2017-08-29 05:57:22 | terry.reedy | create | |
|