mirror of
https://github.com/voideditor/void
synced 2026-05-24 09:58:23 +00:00
definition
This commit is contained in:
parent
82851d519d
commit
35f53e66dd
1 changed files with 1 additions and 1 deletions
|
|
@ -97,7 +97,7 @@ const VoidCommandBar = ({ uri, editor }: VoidCommandBarProps) => {
|
|||
if (diffid === undefined) return
|
||||
const diff = editCodeService.diffOfId[diffid]
|
||||
if (!diff) return
|
||||
editor.revealLineNearTop(diff.startLine, ScrollType.Immediate)
|
||||
editor.revealLineNearTop(diff.startLine - 1, ScrollType.Immediate)
|
||||
commandBarService.setDiffIdx(uri, idx)
|
||||
}
|
||||
const getNextUriIdx = (step: 1 | -1) => {
|
||||
|
|
|
|||
Loading…
Reference in a new issue