Mercurial Repositories > eric / file comparison
comparison: Plugins/PluginPipInterface.py
Plugins/PluginPipInterface.py
- changeset 6735
- 31e263d49c04
- parent 6645
- ad476851d7e0
- child 6744
- f5249a9927c9
equal
deleted
inserted
replaced
| 6734:1eaf6955acf5 | 6735:31e263d49c04 |
|---|---|
| 200 """ | 200 """ |
| 201 Preferences.Prefs.settings.setValue( | 201 Preferences.Prefs.settings.setValue( |
| 202 self.PreferencesKey + "/" + key, value) | 202 self.PreferencesKey + "/" + key, value) |
| 203 | 203 |
| 204 if key == "CurrentEnvironment": | 204 if key == "CurrentEnvironment": |
| 205 self.currentEnvironmentChanged.emit(value) | 205 self.currentEnvironmentChanged.emit(value) |
| 206 | 206 |
| 207 def getMenu(self, name): | 207 def getMenu(self, name): |
| 208 """ | 208 """ |
| 209 Public method to get a reference to the requested menu. | 209 Public method to get a reference to the requested menu. |
| 210 | 210 |
