Fix broken git-log commands
[nobug] convert '+' to '_' when computing location of syntax file for a specified content type
fix exception creating commands
always show Save command now that it is on the File menu
Adding whitespace to tree. Tweaking some text elements
Bug 427140 Terminal page needs to adopt new UI
editor commands - render the toolbarId is of "pageActions" all the time
Turning outline off for hamburger
Bug 427141 - Finder.findToken and Finder.findNode do not handle undefined offsets
no reason to hide the blame command now that it is in the Tools menu
Bug 426991 - [highlight] Invalid comment blocks in case of multiple single line comments starting with TODO
tools commands needs to be validated with the opened resource
Bug 426606 - TODO tag inside <!-- --> prevents comment from being closed
readonly file widget -- code clean up
Prevent menus from jiggling when opened
Bug 427162 - use in-line captures to eliminate redundant styling rules
[nobug] fix html styling rules to detect all cases of embedded javascript and php
Move Shell pagelink to 'shell' category of SideMenu
Prevent extension Commands from having undefined name
Bug 425242 - For Gerrit review workflow we need a way to push only a branch excluding tags: Provide 'Push Branch' and 'Force Push Branch' commands