Removed all references to CodeHintManager from Editor
Fixes after review
Merge remote-tracking branch 'upstream/master' into Issue-1617

Conflicts:
	src/editor/CodeHintManager.js
Fix for a module not loaded issue
"close others" extension.
file close functions to handle list of files.
Applied tweaks.
Made comment consistent with rest of the coments.
Styled link focus state.
naming convention changes
Merge branch 'master' into closeOthers2
removeFromWrokingSet() changed to handle array of files.
Fixed conflict.
Fixed conflicts.
Cleaned up spaces.
Fixed conflict.
Fixed SHAs.
Merge branch 'master' into closeOthers2
czech language - sprint 30

updated
Typo in czech lang