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.

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

don't merge App.extra_extension into App.extensions #7955

Merged
merged 1 commit into from
Mar 4, 2015

Conversation

minrk
Copy link
Member

@minrk minrk commented Mar 4, 2015

setting both values could result in extra_extension being omitted from the list

alternately, we could have _extensions_changed re-add it, but I don't think we use this list more than once.

setting both values could result in extra_extension being omitted from the list
@takluyver takluyver added this to the 3.1 milestone Mar 4, 2015
@takluyver
Copy link
Member

+1 - I much prefer this approach to traits changed callbacks.

Carreau added a commit that referenced this pull request Mar 4, 2015
don't merge App.extra_extension into App.extensions
@Carreau Carreau merged commit 34a0e6b into ipython:master Mar 4, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants