Make WebCore selection painting optional. We should provide a way for a port to paint selection outside of WebCore for similar reasons as the feature ENABLE_TEXT_CARET. For instance, on iOS we use UIKit to paint the selection.
Created attachment 216077 [details]
I am open to name suggestions. I chose the name ENABLE_TEXT_SELECTION to coincide with the name of a feature define with a similar purpose, ENABLE_TEXT_CARET.
Committed r158750: <http://trac.webkit.org/changeset/158750>