def Scroll(self, x, y):
if self.Debug and wx.Platform == '__WXMSW__':
self.Editor.Freeze()
self.Editor.Scroll(x, y)
if self.Debug:
if wx.Platform == '__WXMSW__':
self.Editor.Thaw()
else:
self.Editor.Refresh()