Render the hover-only add-note target as a separate clickable hit area.
( key: string, theme: AppTheme, hunkIndex: number, target: UserNoteLineTarget | undefined, onStartUserNoteAtHunk?: (hunkIndex: number, target?: UserNoteLineTarget) => void, )
| 1244 | |
| 1245 | /** Render the hover-only add-note target as a separate clickable hit area. */ |
| 1246 | function renderAddNoteButton( |
| 1247 | key: string, |
| 1248 | theme: AppTheme, |
| 1249 | hunkIndex: number, |
| 1250 | target: UserNoteLineTarget | undefined, |
| 1251 | onStartUserNoteAtHunk?: (hunkIndex: number, target?: UserNoteLineTarget) => void, |
| 1252 | ) { |
| 1253 | return ( |
| 1254 | <box |
| 1255 | key={key} |
| 1256 | style={{ width: addNoteBadgeText.length, height: 1 }} |
| 1257 | onMouseUp={() => onStartUserNoteAtHunk?.(hunkIndex, target)} |
| 1258 | > |
| 1259 | <text fg={theme.noteTitleText} bg={theme.noteTitleBackground}> |
| 1260 | {addNoteBadgeText} |
| 1261 | </text> |
| 1262 | </box> |
| 1263 | ); |
| 1264 | } |
| 1265 | |
| 1266 | /** Fill the reserved wrapped-row hover column so row backgrounds do not visibly shrink. */ |
| 1267 | function renderAddNoteSpacer(key: string, width: number, bg: string) { |