Fix numbering line when plugin add padding-top (like ep_page_view)

pull/3352/head
Luc Didry 2018-03-25 19:24:52 +02:00
parent cb856ea624
commit b0da9a579d
1 changed files with 2 additions and 2 deletions

View File

@ -5404,8 +5404,8 @@ function Ace2Inner(){
// height is taken to be the top offset of the next line. If we
// didn't do this special case, we would miss out on any top margin
// included on the first line. The default stylesheet doesn't add
// extra margins, but plugins might.
h = b.nextSibling.offsetTop;
// extra margins/padding, but plugins might.
h = b.nextSibling.offsetTop - window.getComputedStyle(doc.body).getPropertyValue("padding-top");
} else {
h = b.nextSibling.offsetTop - b.offsetTop;
}