diff -r f7cb83647621 -r 72721823d453 eric6/E5Gui/E5TextEditSearchWidget.py --- a/eric6/E5Gui/E5TextEditSearchWidget.py Sun May 31 17:26:46 2020 +0200 +++ b/eric6/E5Gui/E5TextEditSearchWidget.py Sat Jul 04 11:45:34 2020 +0200 @@ -185,8 +185,10 @@ @type QTextEdit, QWebEngineView or QWebView @param editType type of the attached edit widget @type str (one of "QTextEdit", "QWebEngineView" or "QWebView") + @exception ValueError raised to indicate a bad parameter value """ - assert editType in ["QTextEdit", "QWebEngineView", "QWebView"] + if editType not in ["QTextEdit", "QWebEngineView", "QWebView"]: + raise ValueError("Bad value for 'editType' parameter.") self.__textedit = textedit self.__texteditType = editType