I'd like the ability to customize the size of the dots in a TabPageSelector. This was mentioned in #10475. That issue was closed but the dot size is a separate issue to the tab bar indicator. @gavindoughtie had an outstanding PR that hadn't been merged (https://github.com/flutter/flutter/pull/7553/files).