Viewer.py
changeset 128 d16a8df4d322
parent 125 394d9f168258
child 138 9c74d00ce93e
equal deleted inserted replaced
127:436268f31dae 128:d16a8df4d322
   279     def GetLogicalDC(self, buffered=False):
   279     def GetLogicalDC(self, buffered=False):
   280         if buffered:
   280         if buffered:
   281             dc = wx.BufferedPaintDC(self)
   281             dc = wx.BufferedPaintDC(self)
   282         else:
   282         else:
   283             dc = wx.ClientDC(self)
   283             dc = wx.ClientDC(self)
   284         if wx.Platform != '__WXMSW__':
   284         if wx.Platform == '__WXMSW__':
       
   285             dc.SetFont(wx.Font(10, wx.SWISS, wx.NORMAL, wx.NORMAL))
       
   286         else:
   285             dc.SetFont(wx.NORMAL_FONT)
   287             dc.SetFont(wx.NORMAL_FONT)
   286         if wx.VERSION >= (2, 6, 0):
   288         if wx.VERSION >= (2, 6, 0):
   287             self.DoPrepareDC(dc)
   289             self.DoPrepareDC(dc)
   288         else:
   290         else:
   289             self.PrepareDC(dc)
   291             self.PrepareDC(dc)
  1013                 self.SelectedElement.SetSelected(False)
  1015                 self.SelectedElement.SetSelected(False)
  1014             self.SelectedElement = element
  1016             self.SelectedElement = element
  1015             self.SelectedElement.SetSelected(True)
  1017             self.SelectedElement.SetSelected(True)
  1016             self.SelectedElement.OnRightUp(event, self.GetLogicalDC(), self.Scaling)
  1018             self.SelectedElement.OnRightUp(event, self.GetLogicalDC(), self.Scaling)
  1017             wx.CallAfter(self.SetCursor, wx.NullCursor)
  1019             wx.CallAfter(self.SetCursor, wx.NullCursor)
  1018             self.ReleaseMouse()
       
  1019             self.Refresh(False)
  1020             self.Refresh(False)
  1020         else:
  1021         else:
  1021             self.PopupDefaultMenu(False)
  1022             self.PopupDefaultMenu(False)
  1022         event.Skip()
  1023         event.Skip()
  1023     
  1024