Hotkey for comment toggling in KeyboardManager
Ignore Ctrl+Shift+C in RoboScintilla::keyPressEvent()
Public methods for managing value of ScriptWidget::_disableTextAndCursorNotifications
Ctrl+Shift+C shortcut toggle comments in the shell
#467
Saving previous view modes in private field of OutputWidget
#509
Unnecessary typecast removed
#467
Merge pull request #555 from VBelozyorov/issue-467

Comment / uncomment selected code in the shell
Merge pull request #556 from VBelozyorov/issue-509

Saving previous view modes in private field of OutputWidget
Fix #564
 - User preference to have line numbers displayed in editor by default
Merge pull request #567 from stennie/issue-564

Fix #564: Add user preference to have line numbers displayed in editor by default
Grammar correction: s/is no results/are no results/
Remove obsolete instructions
Fix #544: Space after document causes validation error
 - error messages for JSON validation could still be greatly improved
Merge pull request #568 from stennie/issue-544

Fix #544: Space after document causes validation error
Per #468: add Ctrl/Cmd+'/'' as comment/uncomment keyboard shortcut
Add note on new shortcuts to toggle comment/uncomment
Merge pull request #569 from stennie/issue-468

Issue 468: add Ctrl/Cmd+'/'' as comment/uncomment keyboard shortcut
Fix #405: expand current server as soon as you connect to it
Merge pull request #570 from stennie/issue-405

Fix #405: expand current server as soon as you connect to it
Fix #87: Switching tabs using standard keys on OS X
 - use QKeysequence::NextChild and QKeysequence::PreviousChild for
   standard cross-platform next/prev tab keyboard shortcuts
 - add Window menu including full screen, minimize, and prev/next tab