The default properties for text selection are migrating to TextSelectionTheme.