UI/DiffHighlighter.py

changeset 4110
5a106c734527
parent 4109
809b8268183d
child 4631
5c1a96925da4
equal deleted inserted replaced
4109:809b8268183d 4110:5a106c734527
37 diffAdded = self.makeFormat(fg=self.textColor, 37 diffAdded = self.makeFormat(fg=self.textColor,
38 bg=self.addedColor) 38 bg=self.addedColor)
39 diffRemoved = self.makeFormat(fg=self.textColor, 39 diffRemoved = self.makeFormat(fg=self.textColor,
40 bg=self.removedColor) 40 bg=self.removedColor)
41 diffReplaced = self.makeFormat(fg=self.textColor, 41 diffReplaced = self.makeFormat(fg=self.textColor,
42 bg=self.replacedColor) 42 bg=self.replacedColor)
43 43
44 diffBarRegex = TERMINAL(r'^\*+$') 44 diffBarRegex = TERMINAL(r'^\*+$')
45 45
46 diffOldRegex = TERMINAL(r'^--- ') 46 diffOldRegex = TERMINAL(r'^--- ')
47 diffNewRegex = TERMINAL(r'^\+\+\+ |^\*\*\*') 47 diffNewRegex = TERMINAL(r'^\+\+\+ |^\*\*\*')

eric ide

mercurial