IDETabView: Removed dummy code.
EditorPane: Handle cursor change by adding a line widget to collaborators line.
Editor: Set cursors and line widgets of participants.

Participant cursors are temporarily #CCC. I need to make it colored.