You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The IDe preferences need to go behind a single "Preferences" command, in the application menu. The simplest implementation is probably to have that window show the current settings for the prefs, with buttons leading off to the existing dialogs to change the preferences.
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
bugs.python.org fields:
The text was updated successfully, but these errors were encountered: