cleanly disconnect from workspace, stopping receiving cursor and buffer events * provide a "disconnect" command which stops all active buffer controllers, cursor controller and disconnects from active workspace
cleanly disconnect from workspace, stopping receiving cursor and buffer events