diff -r d635b7e360c4 -r 40ace3a73139 UI/UserInterface.py
--- a/UI/UserInterface.py Sun Nov 04 18:12:25 2018 +0100
+++ b/UI/UserInterface.py Sun Nov 04 18:35:18 2018 +0100
@@ -7050,6 +7050,16 @@
p = w.pos()
return [p.x(), p.y(), s.width(), s.height(), not w.isHidden()]
+ def getOriginalPathString(self):
+ """
+ Public method to get the original PATH environment variable (i.e.
+ before modifications by eric6 and PyQt5)
+
+ @return original PATH environment variable
+ @rtype str
+ """
+ return self.__originalPathString
+
############################
## some event handlers below
############################
