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

Merge pull request #2497 from ajaxorg/better-gotofile-3

[Liskov] [Trivial] Better gotofile

Merge pull request #2506 from ajaxorg/trivial-stuffs

[Liskov] [Trivial] Focus extension manager on open

Merge pull request #2486 from ajaxorg/fix/python-linting

[Trivial] Fix python linting - no method error