fix textarea positioning on ie
restore font-size:12px on .ace_editor and add line-height: normal
fix worker filtering in build with --s option
improve textarea plugin
fix focus handling when clicking on foldwidget
Merge pull request #1234 from ajaxorg/hotfix/ie

Hotfix ie and bookmarklet