Minor: Rename `size` trait of the View to `default_size`.