519 

   519 

   520         self.GraphicsSizer.Layout()

   520         self.GraphicsSizer.Layout()

   521         self.RefreshGraphicsWindowScrollbars()

   521         self.RefreshGraphicsWindowScrollbars()

   522 

   522 

   523     def RefreshView(self):

   523     def RefreshView(self):

   524         self.RefreshCanvasPosition()

   533         self.RefreshCanvasPosition()

   525 

   534 

   526         if not self.Fixed or self.Force:

   535         if not self.Fixed or self.Force:

   527             self.Force = False

   536             self.Force = False

   528             refresh_graphics = True

   537             refresh_graphics = True

   920 

   929 

   921     def OnGraphicsWindowEraseBackground(self, event):

   930     def OnGraphicsWindowEraseBackground(self, event):

   922         pass

   931         pass

   923 

   932 

   924     def OnGraphicsWindowPaint(self, event):

   933     def OnGraphicsWindowPaint(self, event):

   926         event.Skip()

   937         event.Skip()

   927 

   938 

   928     def OnGraphicsWindowResize(self, event):

   939     def OnGraphicsWindowResize(self, event):

   929         size = self.GetSize()

   940         size = self.GetSize()

   930         for panel in self.GraphicPanels:

   941         for panel in self.GraphicPanels: