eric6/UI/UserInterface.py

changeset 7808
da107cd00f63
parent 7807
5514ca6a62ca
child 7809
f5a61d073100
--- a/eric6/UI/UserInterface.py	Wed Oct 21 20:00:57 2020 +0200
+++ b/eric6/UI/UserInterface.py	Thu Oct 22 17:59:54 2020 +0200
@@ -44,6 +44,7 @@
 
 import Preferences
 import Utilities
+import Globals
 
 import UI.PixmapCache
 
@@ -1465,6 +1466,7 @@
         """
         Public method to process the file containing installation information.
         """
+        # TODO: merge new data into info file stored in .eric
         import Globals
         
         installInfoFile = Globals.getInstallInfoFilePath()
@@ -3581,6 +3583,9 @@
         self.showVersionsAct.setEnabled(not self.__inVersionCheck)
         self.showErrorLogAct.setEnabled(self.__hasErrorLog())
         
+        infoFileName = Globals.getInstallInfoFilePath()
+        self.showInstallInfoAct.setEnabled(os.path.exists(infoFileName))
+        
         self.showMenu.emit("Help", self.__menus["help"])
     
     def __showSettingsMenu(self):

eric ide

mercurial