equal
deleted
inserted
replaced
777 bkgdclr = CHANGED_WINDOW_COLOUR |
777 bkgdclr = CHANGED_WINDOW_COLOUR |
778 items = ["left", "right", "params"] |
778 items = ["left", "right", "params"] |
779 for i in items: |
779 for i in items: |
780 self.PluginInfos[plugin][i].SetBackgroundColour(bkgdclr) |
780 self.PluginInfos[plugin][i].SetBackgroundColour(bkgdclr) |
781 self.PluginInfos[plugin][i].Refresh() |
781 self.PluginInfos[plugin][i].Refresh() |
782 self.RefreshFileMenu() |
782 self._Refresh(TITLE, FILEMENU) |
783 return res |
783 return res |
784 |
784 |
785 def ExpandPlugin(self, plugin, force = False): |
785 def ExpandPlugin(self, plugin, force = False): |
786 for child in self.PluginInfos[plugin]["children"]: |
786 for child in self.PluginInfos[plugin]["children"]: |
787 self.PluginInfos[child]["left"].Show() |
787 self.PluginInfos[child]["left"].Show() |
1495 dialog = wx.TextEntryDialog(self, _("Please enter a name for plugin:"), _("Add Plugin"), "", wx.OK|wx.CANCEL) |
1495 dialog = wx.TextEntryDialog(self, _("Please enter a name for plugin:"), _("Add Plugin"), "", wx.OK|wx.CANCEL) |
1496 if dialog.ShowModal() == wx.ID_OK: |
1496 if dialog.ShowModal() == wx.ID_OK: |
1497 PluginName = dialog.GetValue() |
1497 PluginName = dialog.GetValue() |
1498 plugin.PlugAddChild(PluginName, PluginType) |
1498 plugin.PlugAddChild(PluginName, PluginType) |
1499 self.PluginRoot.RefreshPluginsBlockLists() |
1499 self.PluginRoot.RefreshPluginsBlockLists() |
1500 self.RefreshFileMenu() |
1500 self._Refresh(TITLE, FILEMENU) |
1501 self.RefreshPluginTree() |
1501 self.RefreshPluginTree() |
1502 dialog.Destroy() |
1502 dialog.Destroy() |
1503 |
1503 |
1504 def DeletePlugin(self, plugin): |
1504 def DeletePlugin(self, plugin): |
1505 if self.PluginRoot.CheckProjectPathPerm(): |
1505 if self.PluginRoot.CheckProjectPathPerm(): |
1507 if dialog.ShowModal() == wx.ID_YES: |
1507 if dialog.ShowModal() == wx.ID_YES: |
1508 self.PluginInfos.pop(plugin) |
1508 self.PluginInfos.pop(plugin) |
1509 plugin.PlugRemove() |
1509 plugin.PlugRemove() |
1510 del plugin |
1510 del plugin |
1511 self.PluginRoot.RefreshPluginsBlockLists() |
1511 self.PluginRoot.RefreshPluginsBlockLists() |
1512 self.RefreshFileMenu() |
1512 self._Refresh(TITLE, FILEMENU) |
1513 self.RefreshPluginTree() |
1513 self.RefreshPluginTree() |
1514 dialog.Destroy() |
1514 dialog.Destroy() |
1515 |
1515 |
1516 #------------------------------------------------------------------------------- |
1516 #------------------------------------------------------------------------------- |
1517 # Exception Handler |
1517 # Exception Handler |