-
Notifications
You must be signed in to change notification settings - Fork 777
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
fix #2383 for numbered workspaces #2393
Conversation
I’ll wait for @Airblader’s assessment on whether this is a correct fix for issue #2383, but aside from that, could you please modify the commit description to describe what you’re changing instead of just referencing the issue? We’d like to have the git history self-contained. Thanks! |
4353c3e
to
27ac02b
Compare
|
@stapelberg I'm having trouble verifying this because from my point of view we haven't really decided on the correct behavior in the ticket, have we? I'd actually sort of refer to your judgement of how these commands should operate, I don't have a strong opinion about it… :-) |
27ac02b
to
d1c921e
Compare
Quoting @stapelberg #2383:
Isn't this a clear enough definition? Or do you need to understand my changes? Shall I elaborate them? |
Ah, I must've indeed missed that somehow. It looks good to me, mostly going off the tests here. :-) |
@stapelberg Should we go ahead with this? |
Sure. @bebehei Could you rebase please? |
remove goto statement to similarize workspace_next and workspace_prev
Enhancing test 528 to test workspace_next and workspace_prev - Adding tests for worksace_prev - Mixing workspace distribution over outputs
d1c921e
to
7a94dfd
Compare
@stapelberg rebased. |
No description provided.