diff -r 5524d1dd9271 -r 10aa2bf9c1d7 Documentation/Source/eric6.UI.UserInterface.html --- a/Documentation/Source/eric6.UI.UserInterface.html Wed Jul 11 19:16:13 2018 +0200 +++ b/Documentation/Source/eric6.UI.UserInterface.html Wed Jul 11 19:17:56 2018 +0200 @@ -1521,10 +1521,15 @@ Private slot to handle the Feature Request dialog. </p><a NAME="UserInterface.__restart" ID="UserInterface.__restart"></a> <h4>UserInterface.__restart</h4> -<b>__restart</b>(<i></i>) +<b>__restart</b>(<i>ask=False</i>) <p> Private method to restart the application. -</p><a NAME="UserInterface.__saveCurrentViewProfile" ID="UserInterface.__saveCurrentViewProfile"></a> +</p><dl> +<dt><i>ask</i> (bool)</dt> +<dd> +flag indicating to ask the user for permission +</dd> +</dl><a NAME="UserInterface.__saveCurrentViewProfile" ID="UserInterface.__saveCurrentViewProfile"></a> <h4>UserInterface.__saveCurrentViewProfile</h4> <b>__saveCurrentViewProfile</b>(<i>save</i>) <p>