diff -r fc96d49f5fbf -r 0516f6548ca6 Documentation/Help/source.qhp --- a/Documentation/Help/source.qhp Mon Oct 09 19:06:46 2017 +0200 +++ b/Documentation/Help/source.qhp Tue Oct 10 19:05:00 2017 +0200 @@ -3605,6 +3605,7 @@ <keyword name="DebugUI.setExcIgnoreList" id="DebugUI.setExcIgnoreList" ref="eric6.Debugger.DebugUI.html#DebugUI.setExcIgnoreList" /> <keyword name="DebugUI.setExcList" id="DebugUI.setExcList" ref="eric6.Debugger.DebugUI.html#DebugUI.setExcList" /> <keyword name="DebugUI.setExceptionReporting" id="DebugUI.setExceptionReporting" ref="eric6.Debugger.DebugUI.html#DebugUI.setExceptionReporting" /> + <keyword name="DebugUI.setInterpreterHistory" id="DebugUI.setInterpreterHistory" ref="eric6.Debugger.DebugUI.html#DebugUI.setInterpreterHistory" /> <keyword name="DebugUI.setTracePython" id="DebugUI.setTracePython" ref="eric6.Debugger.DebugUI.html#DebugUI.setTracePython" /> <keyword name="DebugUI.setWdHistory" id="DebugUI.setWdHistory" ref="eric6.Debugger.DebugUI.html#DebugUI.setWdHistory" /> <keyword name="DebugUI.shutdown" id="DebugUI.shutdown" ref="eric6.Debugger.DebugUI.html#DebugUI.shutdown" />