Merge pull request #2402 from ajaxorg/optimize/worker

[Liskov] Optimize/worker 2

Merge pull request #2472 from ajaxorg/dockpanel_check

[Anybody] Dockpanel property check before loop

Merge pull request #2472 from ajaxorg/dockpanel_check

[Anybody] Dockpanel property check before loop

Merge pull request #2466 from ajaxorg/story/loading-ide

[Liskov] Better loading IDE Screen, tested it on Chrome, FF and Safari

Merge pull request #2465 from ajaxorg/revert/better-mixed-modes

[Liskov] Revert better-mixed-modes

Merge pull request #2465 from ajaxorg/revert/better-mixed-modes

[Liskov] Revert better-mixed-modes

Merge pull request #2463 from ajaxorg/new-icons

[Liskov] [Trivial] New icons for outline and completion

Merge pull request #2446 from ajaxorg/firefox

[Liskov] fix black bar inside editor on firefox

Merge pull request #2446 from ajaxorg/firefox

[Liskov] fix black bar inside editor on firefox

Merge pull request #2457 from ajaxorg/update_readme

[Team Anyone] Update readme to reflect that people should go to support.c9.io