diff -r 082d58e2415e -r 8eb6220f2bb7 Documentation/Source/eric6.UI.UserInterface.html
--- a/Documentation/Source/eric6.UI.UserInterface.html Sun Nov 04 12:38:32 2018 +0100
+++ b/Documentation/Source/eric6.UI.UserInterface.html Sun Nov 04 17:20:11 2018 +0100
@@ -835,7 +835,7 @@
</table>
<a NAME="UserInterface.__init__" ID="UserInterface.__init__"></a>
<h4>UserInterface (Constructor)</h4>
-<b>UserInterface</b>(<i>app, locale, splash, plugin, disabledPlugins, noOpenAtStartup, noCrashOpenAtStartup, disableCrashSession, restartArguments</i>)
+<b>UserInterface</b>(<i>app, locale, splash, plugin, disabledPlugins, noOpenAtStartup, noCrashOpenAtStartup, disableCrashSession, restartArguments, originalPathString</i>)
<p>
Constructor
</p><dl>
@@ -872,6 +872,9 @@
<dd>
list of command line parameters to be used for
a restart
+</dd><dt><i>originalPathString</i> (str)</dt>
+<dd>
+original PATH environment variable
</dd>
</dl><a NAME="UserInterface.__TBMenuTriggered" ID="UserInterface.__TBMenuTriggered"></a>
<h4>UserInterface.__TBMenuTriggered</h4>
