Change number of points slider to use a log scale and some other small cleanup #10
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This contains some minor tweaks I made a couple months ago while thinking about other (hopefully more interesting) things to do.
The main functionality change here is to change the number of points slider to use a log scale. With the current linear scale, it is hard to adjust the number of points when users want the number to be relatively small (say in the hundreds) but the user has pretty good control over mostly irrelevant differences in the number of points on the larger end of the spectrum (i.e., 40k vs 42k points is mostly irrelevant but easy to control). You can try out the different behavior and decide if you think it is more intuitive.
The other two commits are just minor cleanup and changes I made in the process of poking around in the code.