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.

Sign up for GitHub

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

Jump to bottom

emit chunk-wise selection of markers to editor #142

Merged

HerrMuellerluedenscheid merged 2 commits into pyrocko:master from HerrMuellerluedenscheid:master

Oct 22, 2016

Member

HerrMuellerluedenscheid commented Oct 22, 2016

Improves selection performance a lot when handling several thousands of markers

Marius Kriegerowski added 2 commits

October 22, 2016 14:24


          pile_viewer: update marker selection in chunks

2bad6bf


          marker_editor: chunk-wise selection of markers

ace2fc5

coveralls commented Oct 22, 2016 •

edited

Loading

Coverage remained the same at 67.348% when pulling ace2fc5 on HerrMuellerluedenscheid:master into 9241915 on pyrocko:master.

HerrMuellerluedenscheid merged commit b17ee88 into pyrocko:master

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