Preferences/ConfigurationPages/PluginManagerPage.py

changeset 3190
a9a94491c4fd
parent 3186
a05eff845522
child 3200
83bde5e6f146
equal deleted inserted replaced
3189:9a21c547de5f 3190:a9a94491c4fd
94 """ 94 """
95 Private slot to handle the directory selection via dialog. 95 Private slot to handle the directory selection via dialog.
96 """ 96 """
97 directory = E5FileDialog.getExistingDirectory( 97 directory = E5FileDialog.getExistingDirectory(
98 self, 98 self,
99 self.trUtf8("Select plugins download directory"), 99 self.tr("Select plugins download directory"),
100 self.downloadDirEdit.text(), 100 self.downloadDirEdit.text(),
101 E5FileDialog.Options(E5FileDialog.ShowDirsOnly)) 101 E5FileDialog.Options(E5FileDialog.ShowDirsOnly))
102 102
103 if directory: 103 if directory:
104 dn = Utilities.toNativeSeparators(directory) 104 dn = Utilities.toNativeSeparators(directory)

eric ide

mercurial