A perfect workaround is found. According to George Chacon's message on 8/1/2014, Google Chrome can do this. So now I just copy my text one big chunk at a time into a big textarea in the Chrome browser.
The link is at
https://productforums.google.com/for...me/3KALydhVjVo