title: Changing default line height in avalon edit
body: <p>I am writing a custom software using avalon edit and I am looking for a way to make the space (height) between lines bigger. At the moment I am forced to add an empty line every time the user has ended writing a line and wants to write another. </p>
  
  <p>I have started looking into the <code>TextView</code> Class where defaultLineHeight seems to be calculated but the only thing I was able to affect is the height of the visual caret but not the content itself.</p>
  
  <p>At the moment I am looking at making every pair line invisible but I am hoping there is an easier way to achieve the simple operation of adding more space between lines.</p>
  
  <p>Here is the method from class <code>TextView</code> I am inspecting at the moment. Any tips or hints would be welcome.</p>
  
  <pre><code>void CalculateDefaultTextMetrics()
  {
      if (defaultTextMetricsValid)
      {
          return;
      }
  
      defaultTextMetricsValid = true;
      if (formatter != null)
      {
          var textRunProperties = CreateGlobalTextRunProperties();
          using (
              var line = formatter.FormatLine(
                  new SimpleTextSource("x", textRunProperties),
                  0,
                  32000,
                  new VisualLineTextParagraphProperties { defaultTextRunProperties = textRunProperties },
                  null))
          {
              wideSpaceWidth = Math.Max(1, line.WidthIncludingTrailingWhitespace);
              defaultBaseline = Math.Max(1, line.Baseline);
              defaultLineHeight = Math.Max(1, line.Height);
          }
      }
      else
      {
          wideSpaceWidth = FontSize / 2;
          defaultBaseline = FontSize;
          **defaultLineHeight = FontSize + 3; // bigger value only affects caret height :(**
      }
  
      // Update heightTree.DefaultLineHeight, if a document is loaded.
      if (heightTree != null)
      {
          heightTree.DefaultLineHeight = defaultLineHeight;
      }
  }
  </code></pre>
  
  <p>Thanks</p>