chat: improve menu creation and hide weird element
chat: destroy chat view when collaboration ended
chat: add extra checks for new user on settings pane
ide: comment out a problematic case for collab ide
Merge pull request #109 from usirin/collaboration

Collaboration