Updates on brackets-src and terminal