tweak a few editor style settings
Merge branch 'master' of github.com:TeamCocoDojo/cocodojo

* 'master' of github.com:TeamCocoDojo/cocodojo:
  Callback for commit
  workaround to fix duplicate file list
  reload file list
  fill in the default github login icon and move the select repo link down
  reload file list
  reload file list
  reload file list
  reload file list
  reload file list
  reload file list
  push
  duplicate file folder list
  fix context menu