Revert "Merge pull request #2493 from ajaxorg/speedup"

This reverts commit e7fe0f3, reversing
changes made to 67229a1.

Revert "Merge pull request #2493 from ajaxorg/speedup"

This reverts commit e7fe0f3, reversing
changes made to 67229a1.

Revert "Merge pull request #2493 from ajaxorg/speedup"

This reverts commit e7fe0f3, reversing
changes made to 67229a1.

Revert "Merge pull request #2493 from ajaxorg/speedup"

This reverts commit e7fe0f3, reversing
changes made to 67229a1.

Merge pull request #2528 from ajaxorg/fix_tabs_width

* udpate tabs max width

Merge pull request #2524 from ajaxorg/runjs

Added runjs support for Cloud9 OS

Merge pull request #2521 from ajaxorg/hotfix/loading

[Liskov] Hotfix alpha loading

Merge pull request #2467 from ajaxorg/update_requirejs

[Liskov] Update requirejs

Merge pull request #2480 from ajaxorg/shortcut

[Liskov] fix ctrl+shift+s shortcut conflict on windows

Merge pull request #2508 from ajaxorg/fix/dryice

make build script ignore superfluous error messages