--- a/src/eric7/WebBrowser/TabManager/TabManagerWidget.py Wed Jan 03 17:36:30 2024 +0100 +++ b/src/eric7/WebBrowser/TabManager/TabManagerWidget.py Wed Jan 03 18:09:15 2024 +0100 @@ -40,6 +40,7 @@ @signal groupTypeChanged(int) emitted when the 'Group By' value was changed """ + # TODO: change this to an enum GroupByWindow = 0 GroupByDomain = 1 GroupByHost = 2