gedit collaboration plugin provides support for collaborative editing in gedit. It uses libinfinity 0.5 and should work with any infinote 0.5 server. Once installed and activated, you can use the side pane to view remote servers with shared documents.