equal
deleted
inserted
replaced
311 |
311 |
312 def OnKillFocus(self, event): |
312 def OnKillFocus(self, event): |
313 self.AutoCompCancel() |
313 self.AutoCompCancel() |
314 event.Skip() |
314 event.Skip() |
315 |
315 |
316 def OnUpdateUI(self, evt): |
316 def OnUpdateUI(self, event): |
317 # check for matching braces |
317 # check for matching braces |
318 braceAtCaret = -1 |
318 braceAtCaret = -1 |
319 braceOpposite = -1 |
319 braceOpposite = -1 |
320 charBefore = None |
320 charBefore = None |
321 caretPos = self.GetCurrentPos() |
321 caretPos = self.GetCurrentPos() |
341 |
341 |
342 if braceAtCaret != -1 and braceOpposite == -1: |
342 if braceAtCaret != -1 and braceOpposite == -1: |
343 self.BraceBadLight(braceAtCaret) |
343 self.BraceBadLight(braceAtCaret) |
344 else: |
344 else: |
345 self.BraceHighlight(braceAtCaret, braceOpposite) |
345 self.BraceHighlight(braceAtCaret, braceOpposite) |
346 |
346 |
347 def OnMarginClick(self, evt): |
347 self.ParentWindow.SetCopyBuffer(self.GetSelectedText(), True) |
|
348 event.Skip() |
|
349 |
|
350 def OnMarginClick(self, event): |
348 # fold and unfold as needed |
351 # fold and unfold as needed |
349 if evt.GetMargin() == 2: |
352 if evt.GetMargin() == 2: |
350 if evt.GetShift() and evt.GetControl(): |
353 if evt.GetShift() and evt.GetControl(): |
351 self.FoldAll() |
354 self.FoldAll() |
352 else: |
355 else: |
363 else: |
366 else: |
364 self.SetFoldExpanded(lineClicked, True) |
367 self.SetFoldExpanded(lineClicked, True) |
365 self.Expand(lineClicked, True, True, 100) |
368 self.Expand(lineClicked, True, True, 100) |
366 else: |
369 else: |
367 self.ToggleFold(lineClicked) |
370 self.ToggleFold(lineClicked) |
368 |
371 event.Skip() |
369 |
372 |
370 def FoldAll(self): |
373 def FoldAll(self): |
371 lineCount = self.GetLineCount() |
374 lineCount = self.GetLineCount() |
372 expanding = True |
375 expanding = True |
373 |
376 |