UICodeEditor now acts as a client. A TextDocument can be consumed by any number of clients.

This enables the possibility of editing the same file in several splits and tabs at the same time in the code editor.

src/tools/codeeditor/codeeditor.hpp

@@ -153,6 +153,8 @@ class App {
 	void updateEditorState();
 
 	void saveDoc();
+
+	void removeUnusedTab( UITabWidget* tabWidget );
 };
 
 #endif // EE_TOOLS_CODEEDITOR_HPP