[PATCH] paper: make all source lines have the same minimum height

[Yuya Nishihara]

On Wed, 04 Apr 2018 14:52:23 +0800, Anton Shestakov wrote:
> # HG changeset patch
> # User Anton Shestakov <av6 at dwimlabs.net>
> # Date 1522818888 -28800
> #      Wed Apr 04 13:14:48 2018 +0800
> # Node ID cec6b1932d091667b65daa5d2260b665a7f07e81
> # Parent  0a1fb171dc1ddd6a1cd1a5666e92299db12e9f5d
> paper: make all source lines have the same minimum height
> 
> In Chromium, empty source lines in paper and coal themes used to have smaller
> height than every other line (because of the way line numbers are shown and
> because they are using smaller font). This wasn't very noticeable before the
> follow-lines button was added. After that, viewing any file with empty lines
> turned into a jerky mess, because the button would bump the height of empty
> lines up to its proper value on hover, and undo it when mouse cursor was gone,
> so every line after the one that was hovered upon would jump down and then back
> up 2px.

I see this weird behavior on every line in Chromium, with/without this patch.

> +.sourcelines > span:after {
> +  content: '';
> +  display: inline-block;
> +}

Perhaps we'll have to make the button "detached" from the normal flow by
e.g. adding "position: absolute" ?