Plugins/UiExtensionPlugins/PipInterface/PipListDialog.py

changeset 6396
f6d4ab496cfe
parent 6342
c79ecba9cde7
child 6619
1d34365c082c
--- a/Plugins/UiExtensionPlugins/PipInterface/PipListDialog.py	Mon Jul 02 18:18:23 2018 +0200
+++ b/Plugins/UiExtensionPlugins/PipInterface/PipListDialog.py	Tue Jul 03 19:07:13 2018 +0200
@@ -526,6 +526,8 @@
             packages, venvName=self.venvComboBox.currentText(),
             userSite=self.userCheckBox.isChecked())
         if res:
+            self.activateWindow()
+            self.raise_()
             self.__refresh()
     
     def __uninstallPackages(self):
@@ -541,4 +543,6 @@
                 packages,
                 venvName=self.venvComboBox.currentText())
             if res:
+                self.activateWindow()
+                self.raise_()
                 self.__refresh()

eric ide

mercurial