--- a/Documentation/Source/eric6.QScintilla.Editor.html Tue Jan 10 19:41:43 2017 +0100 +++ b/Documentation/Source/eric6.QScintilla.Editor.html Wed Jan 11 19:28:04 2017 +0100 @@ -112,6 +112,10 @@ </dd><dt>refreshed()</dt> <dd> emitted to signal a refresh of the editor contents +</dd><dt>settingsRead()</dt> +<dd> +emitted to signal, that the settings have been read + and set </dd><dt>showMenu(str, QMenu, QsciScintillaCompat)</dt> <dd> emitted when a menu is