Skip to content

Conversation

@peterdemin
Copy link

I found this ordering more useful when running with 64 workers

I found this ordering more useful when running with 64 workers
@unbit
Copy link
Collaborator

unbit commented Aug 1, 2014

is not better to map it to a key ? I mean, you press "xxx" and the ordering changes ? I suppose other ordering schemes could be wanted in the future

@peterdemin
Copy link
Author

Well, I won't do the key mapping.

@unbit
Copy link
Collaborator

unbit commented Sep 5, 2014

You mean you do not want to do it, or you do not think it is a good idea ?

@peterdemin
Copy link
Author

Can't tell if this idea is good, but I didn't find time for it since August 1st, so I inform you, that I won't do it.

@unbit
Copy link
Collaborator

unbit commented Sep 5, 2014

do not worry this is not a problem, i can map your patch to a key without problems. Thanks again

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants