-
Notifications
You must be signed in to change notification settings - Fork 578
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
Swap terms correctly when moving tabs, fixes #473 and #512 #588
Conversation
thankx for this pl! |
@stibbons I've got to ask, I'm too curious, why do you call pull-request (PR): pl ? :) This has been making me curious for a while now :) |
Because it is a Pull Lequest... Just kinding. Indeed now you highlight it I don't understand myself... (I think I confuse with my bash aliases I used everyday, git pull was "gl") |
Ok, I was just too curious, sorry for asking :D |
Good to know what PL stands for :) |
I just pushed the wrong button... |
Ok, thanks for merging. 👍 |
#473 and #512 are still present when moving tabs more than one position. Steps to reproduce (same on 0.7.2 and current master):