diff --git a/gui/display.py b/gui/display.py index 2b73cedaf..6d6fc2803 100644 --- a/gui/display.py +++ b/gui/display.py @@ -21,12 +21,18 @@ import wx import gui.mainFrame from gui.viewColumn import ViewColumn import sys +import platform class Display(wx.ListCtrl): - def __init__(self, parent, size = wx.DefaultSize, style = 0, doubleBuffered = True): + def __init__(self, parent, size = wx.DefaultSize, style = 0, doubleBuffered = None): wx.ListCtrl.__init__(self, parent,size = size, style=wx.LC_REPORT | ( style | wx.BORDER_NONE if not (style & wx.SIMPLE_BORDER) else style) ) - self.SetDoubleBuffered(doubleBuffered) + + #Autodetect + if doubleBuffered is None: + self.SetDoubleBuffered("wxMSW" in wx.PlatformInfo and platform.release() != "XP") + else: + self.SetDoubleBuffered(doubleBuffered) self.imageList = wx.ImageList(16, 16) self.SetImageList(self.imageList, wx.IMAGE_LIST_SMALL)