Skip to content

avoid gaps in indentation line drawing

Christoph Cullmann requested to merge work/avoid_gaps_in_indent_lines into master

the old code did

  1. use wrong height
  2. the "random" setGap stuff did lead to holes

Merge request reports