@DeNeutoy, I had an idea that I think you'll be happy with. I realized that we never used the default argument to pop_choice_with_default, so we didn't need it. That made it so there's only one default option to pop_choice, and the API is now simpler and cleaner.
While I was at it, I improved the documentation a bit, and cleaned up a few other methods dealing with parameters.
@DeNeutoy, I had an idea that I think you'll be happy with. I realized that we never used the
defaultargument topop_choice_with_default, so we didn't need it. That made it so there's only one default option topop_choice, and the API is now simpler and cleaner.While I was at it, I improved the documentation a bit, and cleaned up a few other methods dealing with parameters.