controls/CustomStyledTextCtrl.py
branchwxPython4
changeset 3303 0ffb41625592
parent 2704 4ba3bdc7d71f
child 3750 f62625418bff
equal deleted inserted replaced
3302:c89fc366bebd 3303:0ffb41625592
   103                 margin_width = reduce(
   103                 margin_width = reduce(
   104                     lambda x, y: x + y,
   104                     lambda x, y: x + y,
   105                     [self.GetMarginWidth(i) for i in xrange(3)],
   105                     [self.GetMarginWidth(i) for i in xrange(3)],
   106                     0)
   106                     0)
   107                 if x <= margin_width:
   107                 if x <= margin_width:
   108                     self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW))
   108                     self.SetCursor(wx.Cursor(wx.CURSOR_ARROW))
   109                 else:
   109                 else:
   110                     self.SetCursor(wx.StockCursor(wx.CURSOR_IBEAM))
   110                     self.SetCursor(wx.Cursor(wx.CURSOR_IBEAM))
   111             else:
   111             else:
   112                 event.Skip()
   112                 event.Skip()
   113         else:
   113         else:
   114             event.Skip()
   114             event.Skip()
   115 
   115