Terry J. Reedy <tjre...@udel.edu> added the comment:
'Windows', not 'Window'. The indentation width should be moved to the Window page after being converted and reduced to a single line with a spinbox or maybe just an entry box. Indent spaces (standard 4) [ 4] # or Convert tab indents to [4] spaces (standard 4) I cannot imagine that anyone would ever want more than 8, certainly not 16. Note that there is another issue that will result in no longer using tabs instead of spaces in Shell, so that this will really be for both (all, including Output). There is at least one issue where this has been discussed, with the thought that something that most people should and will never change is now way too prominent. (My python development system with my list of issues is now being repaired. There has also been discussion about converting size to a spinbox. There is no particular reason for the particular presets.) The problem with General is that the items left other than Help are specific to either editor or shell. I think General with general window preferences and Help followed by Shell/Ed specifics might be a better division. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue40468> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
