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

Merge pull request #2487 from ajaxorg/revert-load-themes-dynamically

[Liskov] Revert new theme loading logic

Merge pull request #2487 from ajaxorg/revert-load-themes-dynamically

[Liskov] Revert new theme loading logic

Merge pull request #2441 from ajaxorg/python-linting

[Liskov] Python linting integration (using pylint)

Merge pull request #2402 from ajaxorg/optimize/worker

[Liskov] Optimize/worker 2