the JavaScript text input selection library