Rebuild tab menu on tab delete #3542

Merged
merged 1 commit into from Aug 6, 2015

Conversation

Projects
None yet
1 participant
@JakubValtar
Contributor

JakubValtar commented Aug 6, 2015

Fixes #3534

JakubValtar added a commit that referenced this pull request Aug 6, 2015

@JakubValtar JakubValtar merged commit 0429ddd into processing:master Aug 6, 2015

@benfry benfry referenced this pull request Aug 6, 2015

Closed

Rebuild tab menu on delete #3541

@JakubValtar JakubValtar deleted the JakubValtar:bugfix-delete-tab branch Aug 6, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment