Switched to using window.getSelection(), which works in FireFox, Chrome, Safari, and Opera. Fixes issue #12.
Switched to using window.getSelection(), which works in FireFox, Chrome, Safari, and Opera. Fixes issue #12.

git-svn-id: ec5e304a57ac3613d7b41a647d1761d9cb57b8dc@100 48a18672-c925-a5f9-4b90-b3a8688770c7

robohornet/robohornet,robohornet/robohornet,robohornet/robohornet,robohornet/robohornet