diff-edit/diff_edit
Andrew Hamilton 07e0ce9f56 editor: Fix highlighting lines on themes with bright backgrounds
- For bright backgrounds brightening the line doesn't stand out,
  so darken the line instead.
2022-06-28 23:14:49 +10:00
..
__init__.py Coding style 2022-06-23 22:07:21 +10:00
editor.py editor: Fix highlighting lines on themes with bright backgrounds 2022-06-28 23:14:49 +10:00