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 epaine, terry.reedy
Date 2020-05-01.18:16:41
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1588357001.53.0.534020154455.issue40468@roundup.psfhosted.org>
In-reply-to
Content
'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.
History
Date User Action Args
2020-05-01 18:16:41terry.reedysetrecipients: + terry.reedy, epaine
2020-05-01 18:16:41terry.reedysetmessageid: <1588357001.53.0.534020154455.issue40468@roundup.psfhosted.org>
2020-05-01 18:16:41terry.reedylinkissue40468 messages
2020-05-01 18:16:41terry.reedycreate