--- a/Documentation/Source/eric6.Plugins.ViewManagerPlugins.Tabview.Tabview.html Thu Jan 01 18:35:50 2015 +0100 +++ b/Documentation/Source/eric6.Plugins.ViewManagerPlugins.Tabview.Tabview.html Thu Jan 01 18:36:42 2015 +0100 @@ -662,9 +662,18 @@ </dd><dt>editorOpenedEd(Editor)</dt> <dd> emitted after an editor window was opened +</dd><dt>editorRenamed(str)</dt> +<dd> +emitted after an editor was renamed +</dd><dt>editorRenamedEd(Editor)</dt> +<dd> +emitted after an editor was renamed </dd><dt>editorSaved(str)</dt> <dd> emitted after an editor window was saved +</dd><dt>editorSavedEd(Editor)</dt> +<dd> +emitted after an editor window was saved </dd><dt>editorTextChanged(Editor)</dt> <dd> emitted to signal a change of an