diff -r dfeefad914ed -r 6f079c524e99 eric7/Preferences/ConfigurationPages/EditorFilePage.py
--- a/eric7/Preferences/ConfigurationPages/EditorFilePage.py Sun Apr 03 17:23:31 2022 +0200
+++ b/eric7/Preferences/ConfigurationPages/EditorFilePage.py Mon Apr 04 17:43:43 2022 +0200
@@ -19,6 +19,7 @@
from .ConfigurationPageBase import ConfigurationPageBase
from .Ui_EditorFilePage import Ui_EditorFilePage
+import Globals
from Utilities import supportedCodecs
import Preferences
@@ -361,7 +362,8 @@
Private slot to install the pymdown extensions package via pip.
"""
pip = ericApp().getObject("Pip")
- pip.installPackages(["pymdown-extensions"], interpreter=sys.executable)
+ pip.installPackages(["pymdown-extensions"],
+ interpreter=Globals.getPythonExecutable())
self.polishPage()
def polishPage(self):
