Merge pull request #14147 from overleaf/jdt-synctex-highlight-alignment

fix synctex highlight height

GitOrigin-RevId: 521de65269cf22d3298a154a0a38e8a4c7e88764
This commit is contained in:
Jimmy Domagala-Tang 2023-08-03 10:43:06 -04:00 committed by Copybot
parent dfc9138dd6
commit 1328b442c8

View file

@ -16,7 +16,7 @@ export function buildHighlightElement(highlight, wrapper) {
const element = document.createElement('div') const element = document.createElement('div')
element.style.left = Math.floor(pageView.div.offsetLeft + left) + 'px' element.style.left = Math.floor(pageView.div.offsetLeft + left) + 'px'
element.style.top = Math.floor(pageView.div.offsetTop + top + 10) + 'px' element.style.top = Math.floor(pageView.div.offsetTop + top) + 'px'
element.style.width = Math.ceil(right - left) + 'px' element.style.width = Math.ceil(right - left) + 'px'
element.style.height = Math.ceil(bottom - top) + 'px' element.style.height = Math.ceil(bottom - top) + 'px'
element.style.backgroundColor = 'rgba(255,255,0)' element.style.backgroundColor = 'rgba(255,255,0)'