Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

How to increase line height?

See original GitHub issue

Hi,

I tried to increase the line height via

CodeMirror pre {
  line-height: 1.5;
}

but cursor and selection heights left unadjusted.

Is there some way to get more space between lines?

Issue Analytics

State:
Created 9 years ago
Comments:5 (2 by maintainers)

Top GitHub Comments

7reactions

lfender6445commented, May 29, 2015

For others looking for same thing try

.CodeMirror
{
  line-height:21px;
}

0reactions

eldargabcommented, Nov 24, 2014

Oh, it turns out it’s quite outdate. With recent CodeMirror everything works, thank you.

Top Results From Across the Web

CSS line-height property - W3Schools

Set the line height for different <div> elements: · normal · 1.6 ; Set the line height in pixels and centimeters for different...

line-height - CSS: Cascading Style Sheets - MDN Web Docs

The line-height CSS property sets the height of a line box. It's commonly used to set the distance between lines of text.

line-height | CSS-Tricks

The line-height property defines the amount of space above and below inline elements. That is, elements that are set to display: inline or ......

Set line height in Html <p> to make the html looks like a office ...

Actually, you can achieve this pretty easy. Simply specify the line height as a number: <p style="line-height:1.5"> <span style="font-size:12pt">The quick ...

Line Height - HTML Help

The line-height property will accept a value to control the spacing between baselines of text. When the value is a number, the line...