--- a/src/eric7/Preferences/ConfigurationPages/ConfigurationPageBase.py Thu May 25 11:12:05 2023 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/ConfigurationPageBase.py Thu May 25 19:51:47 2023 +0200 @@ -33,13 +33,13 @@ """ Public slot to perform some polishing actions. """ - return + pass def saveState(self): """ Public method to save the current state of the widget. """ - return + pass def setState(self, state): """ @@ -47,7 +47,7 @@ @param state state data generated by saveState """ - return + pass def initColour(self, colourKey, button, prefMethod, byName=False, hasAlpha=False): """