linux_deps.sh: buildVer=0.6.7
.gitignore: deploy/core/node_modules/
command toggle-hightlight.current.line
Print /fullpath/file in the message if the file was modified or deleted.

If two files with the same name were modified or deleted then we don't
know which one is about to be reloaded or saved.
tabs: rounded top corners