@@ -97,24 +97,24 @@ export function Diff<T>(props: DiffProps<T>) {
9797 //
9898 // 'simple':
9999 // Just a subtle bar separator between each hunk
100- // hunkSeparators: "line-info",
101- hunkSeparators ( hunkData : HunkData ) {
102- const fragment = document . createDocumentFragment ( )
103- const numCol = document . createElement ( "div" )
104- numCol . textContent = `${ hunkData . lines } `
105- numCol . style . position = "sticky"
106- numCol . style . left = "0"
107- numCol . style . backgroundColor = "var(--pjs-bg)"
108- numCol . style . zIndex = "2"
109- fragment . appendChild ( numCol )
110- const contentCol = document . createElement ( "div" )
111- contentCol . textContent = "unmodified lines"
112- contentCol . style . position = "sticky"
113- contentCol . style . width = "var(--pjs-column-content-width)"
114- contentCol . style . left = "var(--pjs-column-number-width)"
115- fragment . appendChild ( contentCol )
116- return fragment
117- } ,
100+ hunkSeparators : "line-info" ,
101+ // hunkSeparators(hunkData: HunkData) {
102+ // const fragment = document.createDocumentFragment()
103+ // const numCol = document.createElement("div")
104+ // numCol.textContent = `${hunkData.lines}`
105+ // numCol.style.position = "sticky"
106+ // numCol.style.left = "0"
107+ // numCol.style.backgroundColor = "var(--pjs-bg)"
108+ // numCol.style.zIndex = "2"
109+ // fragment.appendChild(numCol)
110+ // const contentCol = document.createElement("div")
111+ // contentCol.textContent = "unmodified lines"
112+ // contentCol.style.position = "sticky"
113+ // contentCol.style.width = "var(--pjs-column-content-width)"
114+ // contentCol.style.left = "var(--pjs-column-number-width)"
115+ // fragment.appendChild(contentCol)
116+ // return fragment
117+ // },
118118 // On lines that have both additions and deletions, we can run a
119119 // separate diff check to mark parts of the lines that change.
120120 // 'none':
0 commit comments