eric7/UI/UserInterface.py

branch
eric7
changeset 8319
ea11a3948f40
parent 8318
962bce857696
child 8322
b422b4e77d19
equal deleted inserted replaced
8318:962bce857696 8319:ea11a3948f40
7347 default = Utilities.getHomeDir() 7347 default = Utilities.getHomeDir()
7348 workspace = E5FileDialog.getExistingDirectory( 7348 workspace = E5FileDialog.getExistingDirectory(
7349 None, 7349 None,
7350 self.tr("Select Workspace Directory"), 7350 self.tr("Select Workspace Directory"),
7351 default, 7351 default,
7352 E5FileDialog.Options(E5FileDialog.Option(0))) 7352 E5FileDialog.Option(0))
7353 Preferences.setMultiProject("Workspace", workspace) 7353 Preferences.setMultiProject("Workspace", workspace)
7354 7354
7355 def versionIsNewer(self, required, snapshot=None): 7355 def versionIsNewer(self, required, snapshot=None):
7356 """ 7356 """
7357 Public method to check, if the eric version is good compared to 7357 Public method to check, if the eric version is good compared to

eric ide

mercurial