Skip to content

improve handling of repainting for ranges

Christoph Cullmann requested to merge work/improve_range_repaint into master
  1. ensure we really repaint on attribute change
  2. simplify the range updating using new line range API

Merge request reports