--- a/src/eric7/Plugins/ViewManagerPlugins/Tabview/Tabview.py Fri Dec 22 17:24:07 2023 +0100 +++ b/src/eric7/Plugins/ViewManagerPlugins/Tabview/Tabview.py Fri Dec 22 19:45:17 2023 +0100 @@ -842,7 +842,8 @@ """ Private method to handle the press of the individual tab close button. - @param index index of the tab (integer) + @param index index of the tab + @type int """ if index >= 0: self.vm.closeEditorWindow(self.widget(index).getEditor()) @@ -851,7 +852,8 @@ """ Protected method handling double click events. - @param event reference to the event object (QMouseEvent) + @param event reference to the event object + @type QMouseEvent """ self.vm.newEditor()