Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PR: Remove file path from the Editor's plugin title. #3975

Merged
merged 3 commits into from
Jan 27, 2017
Merged

PR: Remove file path from the Editor's plugin title. #3975

merged 3 commits into from
Jan 27, 2017

Conversation

dalthviz
Copy link
Member

Fixes #3972

@dalthviz dalthviz self-assigned this Jan 17, 2017
@dalthviz dalthviz added this to the v3.1.1 milestone Jan 17, 2017
@dalthviz dalthviz changed the base branch from 3.x to 3.1.x January 18, 2017 04:38
@ccordoba12 ccordoba12 modified the milestones: v3.1.1, v3.1.2, v3.1.3 Jan 18, 2017
@ccordoba12
Copy link
Member

Simple enough, thanks @dalthviz!

@ccordoba12 ccordoba12 merged commit 78100c4 into spyder-ide:3.1.x Jan 27, 2017
ccordoba12 added a commit that referenced this pull request Jan 27, 2017
@ccordoba12
Merge from 3.1.x: PR #3975
537fd0c 
Fixes #3972
ccordoba12 added a commit that referenced this pull request Jan 27, 2017
@ccordoba12
Merge from 3.x: PR #3975
298cee0 
Fixes #3972
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@dalthviz dalthviz

Labels
component:Editor type:Enhancement
Projects
None yet
Milestone
v3.1.3
Development

Successfully merging this pull request may close these issues.
2 participants
@dalthviz @ccordoba12