|
@@ -681,6 +681,7 @@ class SingleSymbolPanel(wx.Panel):
|
|
|
"""!Panel selected, background changes"""
|
|
|
self.selected = True
|
|
|
self.SetBackgroundColour(self.selectColor)
|
|
|
+ self.Refresh()
|
|
|
event.Skip()
|
|
|
|
|
|
self.symbolSelectionChanged.emit(name=self.GetName(), doubleClick=False)
|
|
@@ -692,11 +693,13 @@ class SingleSymbolPanel(wx.Panel):
|
|
|
"""!Panel deselected, background changes back to default"""
|
|
|
self.selected = False
|
|
|
self.SetBackgroundColour(self.deselectColor)
|
|
|
+ self.Refresh()
|
|
|
|
|
|
def Select(self):
|
|
|
"""!Select panel, no event emitted"""
|
|
|
self.selected = True
|
|
|
self.SetBackgroundColour(self.selectColor)
|
|
|
+ self.Refresh()
|
|
|
|
|
|
class GListCtrl(wx.ListCtrl, listmix.ListCtrlAutoWidthMixin, listmix.CheckListCtrlMixin):
|
|
|
"""!Generic ListCtrl with popup menu to select/deselect all
|