Skip to content

Conversation

@terryjreedy
Copy link
Member

@terryjreedy terryjreedy commented Oct 29, 2018

Topics include opening, title and status bar, .py* extension, and running.

https://bugs.python.org/issue35097

Topics include opening, title and status bar, .py* extension, and running.
@terryjreedy terryjreedy added needs backport to 3.6 docs Documentation in the Doc dir labels Oct 29, 2018
@terryjreedy terryjreedy self-assigned this Oct 29, 2018
@terryjreedy terryjreedy merged commit ea9c8bd into python:master Oct 29, 2018
@miss-islington
Copy link
Contributor

Thanks @terryjreedy for the PR 🌮🎉.. I'm working now to backport this PR to: 3.6, 3.7.
🐍🍒⛏🤖

@terryjreedy terryjreedy deleted the editor branch October 29, 2018 00:42
@bedevere-bot
Copy link

@terryjreedy: Please replace # with GH- in the commit message next time. Thanks!

@bedevere-bot
Copy link

GH-10207 is a backport of this pull request to the 3.7 branch.

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Oct 29, 2018
…GH-10206)

Topics include opening, title and status bar, .py* extension, and running.
(cherry picked from commit ea9c8bd)

Co-authored-by: Terry Jan Reedy <[email protected]>
@bedevere-bot
Copy link

GH-10208 is a backport of this pull request to the 3.6 branch.

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Oct 29, 2018
…GH-10206)

Topics include opening, title and status bar, .py* extension, and running.
(cherry picked from commit ea9c8bd)

Co-authored-by: Terry Jan Reedy <[email protected]>
miss-islington added a commit that referenced this pull request Oct 29, 2018
Topics include opening, title and status bar, .py* extension, and running.
(cherry picked from commit ea9c8bd)

Co-authored-by: Terry Jan Reedy <[email protected]>
miss-islington added a commit that referenced this pull request Oct 29, 2018
Topics include opening, title and status bar, .py* extension, and running.
(cherry picked from commit ea9c8bd)

Co-authored-by: Terry Jan Reedy <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation in the Doc dir

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants