4kusto/vie - Change 2CFNOXLKFVAGON3Z2KISH4LNIALNY4VTBILJLQIE45YUKQI6ZHPQC

fix: remove hardcoded tabStop=4 from visual/command/restore offset calculations

Created by 4kusto on February 8, 2026

2CFNOXLKFVAGON3Z2KISH4LNIALNY4VTBILJLQIE45YUKQI6ZHPQC

Dependencies

In channels

main

Change contents

Insertion in ViE/State/Visual.lean at line 50 [3.32932]
[3.34814]
[4.7473]
```
    let tabStop := s.config.tabStop
```

Replacement in ViE/State/Visual.lean at line 62 [3.32932]

B:BD[4.7886] → [5.8289:8431]

        let sub := ViE.Unicode.dropByDisplayWidth line.toRawSubstring minCol
        ViE.Unicode.takeByDisplayWidth sub (maxCol - minCol + 1)

[4.7886]

[4.7988]

        let sub := ViE.Unicode.dropByDisplayWidthWithTabStop line.toRawSubstring tabStop minCol
        ViE.Unicode.takeByDisplayWidthWithTabStop sub tabStop (maxCol - minCol + 1)

Replacement in ViE/State/Visual.lean at line 67 [3.32932]

B:BD[3.35465] → [2.197:281]

      let startOff := ViE.getOffsetFromPointInBuffer buffer p1.row p1.col |>.getD 0

[3.35465]

[5.8524]

      let startOff := ViE.getOffsetFromPointInBufferWithTabStop buffer p1.row p1.col tabStop |>.getD 0

Replacement in ViE/State/Visual.lean at line 69 [3.32932]

B:BD[5.8592] → [5.8592:8719]

      let endCol := if p2.col.val < ViE.Unicode.stringWidth lineStr then
        ViE.Unicode.nextDisplayCol lineStr p2.col.val

[5.8592]

[5.8719]

      let endCol := if p2.col.val < ViE.Unicode.stringWidthWithTabStop lineStr tabStop then
        ViE.Unicode.nextDisplayColWithTabStop lineStr tabStop p2.col.val

Replacement in ViE/State/Visual.lean at line 73 [3.32932]

B:BD[5.8749] → [2.282:393]

      let endOff := ViE.getOffsetFromPointInBuffer buffer p2.row ⟨endCol⟩ |>.getD buffer.table.tree.length

[5.8749]

[6.2225]

      let endOff := ViE.getOffsetFromPointInBufferWithTabStop buffer p2.row ⟨endCol⟩ tabStop |>.getD buffer.table.tree.length

Insertion in ViE/State/Visual.lean at line 77 [3.32932]
[3.36257]
[3.36257]
```
  let tabStop := s.config.tabStop
```

Replacement in ViE/State/Visual.lean at line 82 [3.32932]

B:BD[7.7884] → [7.7884:7964]

      let width := lines.foldl (fun m l => max m (ViE.Unicode.stringWidth l)) 0

[7.7884]

[7.7964]

      let width := lines.foldl (fun m l => max m (ViE.Unicode.stringWidthWithTabStop l tabStop)) 0

Insertion in ViE/State/Visual.lean at line 102 [3.32932]
[3.36513]
[3.36513]
```
    let tabStop := s.config.tabStop
```

Replacement in ViE/State/Visual.lean at line 106 [3.32932]

B:BD[7.8391] → [7.8391:8471]

      let width := lines.foldl (fun m l => max m (ViE.Unicode.stringWidth l)) 0

[7.8391]

[7.8471]

      let width := lines.foldl (fun m l => max m (ViE.Unicode.stringWidthWithTabStop l tabStop)) 0

Replacement in ViE/State/Visual.lean at line 124 [3.32932]

B:BD[4.8866] → [2.394:508]

            let start := ViE.getOffsetFromPointInBuffer buffer ⟨r⟩ ⟨minCol⟩ |>.getD (lineStart + lineLen)

[4.8866]

[5.8961]

            let start := ViE.getOffsetFromPointInBufferWithTabStop buffer ⟨r⟩ ⟨minCol⟩ tabStop |>.getD (lineStart + lineLen)

Replacement in ViE/State/Visual.lean at line 126 [3.32932]

B:BD[5.8998] → [2.509:624]

            let endOff := ViE.getOffsetFromPointInBuffer buffer ⟨r⟩ ⟨endCol⟩ |>.getD (lineStart + lineLen)

[5.8998]

[5.9101]

            let endOff := ViE.getOffsetFromPointInBufferWithTabStop buffer ⟨r⟩ ⟨endCol⟩ tabStop |>.getD (lineStart + lineLen)

Replacement in ViE/State/Visual.lean at line 143 [3.32932]

B:BD[4.9313] → [2.625:711]

        let startOff := ViE.getOffsetFromPointInBuffer buffer p1.row p1.col |>.getD 0

[4.9313]

[5.9264]

        let startOff := ViE.getOffsetFromPointInBufferWithTabStop buffer p1.row p1.col tabStop |>.getD 0

Replacement in ViE/State/Visual.lean at line 145 [3.32932]

B:BD[5.9334] → [5.9334:9465]

        let endCol := if p2.col.val < ViE.Unicode.stringWidth lineStr then
          ViE.Unicode.nextDisplayCol lineStr p2.col.val

[5.9334]

[5.9465]

        let endCol := if p2.col.val < ViE.Unicode.stringWidthWithTabStop lineStr tabStop then
          ViE.Unicode.nextDisplayColWithTabStop lineStr tabStop p2.col.val

Replacement in ViE/State/Visual.lean at line 149 [3.32932]

B:BD[5.9499] → [2.712:825]

        let endOff := ViE.getOffsetFromPointInBuffer buffer p2.row ⟨endCol⟩ |>.getD buffer.table.tree.length

[5.9499]

[4.9516]

        let endOff := ViE.getOffsetFromPointInBufferWithTabStop buffer p2.row ⟨endCol⟩ tabStop |>.getD buffer.table.tree.length

Replacement in ViE/Command/Dispatch.lean at line 154 [3.112422]

B:BD[7.58314] → [2.22343:22438]

        let cursorOffset := ViE.getOffsetFromPointInBuffer buf cursor.row cursor.col |>.getD 0

[7.58314]

[7.58417]

        let cursorOffset := ViE.getOffsetFromPointInBufferWithTabStop buf cursor.row cursor.col state.config.tabStop |>.getD 0

Replacement in ViE/Command/Dispatch.lean at line 211 [3.112422]

B:BD[7.61115] → [2.22686:22781]

        let cursorOffset := ViE.getOffsetFromPointInBuffer buf cursor.row cursor.col |>.getD 0

[7.61115]

[7.61218]

        let cursorOffset := ViE.getOffsetFromPointInBufferWithTabStop buf cursor.row cursor.col state.config.tabStop |>.getD 0

Insertion in ViE/Buffer/Content.lean at line 4 [3.121265]
[3.121300]
[3.121300]
```
import ViE.State.Config
```
Replacement in ViE/Buffer/Content.lean at line 48 [3.121265]
∅:D[2.23810] → [8.36946:37003]
B:BD[8.36946] → [8.36946:37003]
```
  getOffsetFromPointInBufferWithTabStop buffer row col 4
```
[2.23810]
[8.37003]
```
  getOffsetFromPointInBufferWithTabStop buffer row col defaultConfig.tabStop
```

Replacement in ViE/Buffer/Content.lean at line 52 [3.121265]

B:BD[8.37169] → [8.37169:37217]

  getLineLengthFromBufferWithTabStop buffer n 4

[8.37169]

[2.23811]

  getLineLengthFromBufferWithTabStop buffer n defaultConfig.tabStop

Replacement in ViE/Buffer/Content.lean at line 56 [3.121265]

B:BD[2.23970] → [2.23970:24026]

  getPointFromOffsetInBufferWithTabStop buffer offset 4

[2.23970]

[8.37217]

  getPointFromOffsetInBufferWithTabStop buffer offset defaultConfig.tabStop

Replacement in ViE/App.lean at line 35 [3.125244]

B:BD[9.1407] → [2.24027:24108]

def clampCursorInBuffer (buffer : FileBuffer) (row : Row) (col : Col) : Point :=

[9.1407]

[9.1480]

def clampCursorInBuffer (tabStop : Nat) (buffer : FileBuffer) (row : Row) (col : Col) : Point :=

Replacement in ViE/App.lean at line 38 [3.125244]

∅:D[2.24187] → [9.1590:1669]

B:BD[9.1590] → [9.1590:1669]

  let lineLen := ViE.getLineLengthFromBuffer buffer ⟨clampedRow⟩ |>.getD 0

[2.24187]

[2.24188]

  let lineLen := ViE.getLineLengthFromBufferWithTabStop buffer ⟨clampedRow⟩ tabStop |>.getD 0

Replacement in ViE/App.lean at line 82 [3.125244]

B:BD[9.3244] → [2.24263:24329]

  let cursor := clampCursorInBuffer activeBuf ⟨row⟩ ⟨col⟩

[9.3244]

[9.3298]

  let cursor := clampCursorInBuffer settings.tabStop activeBuf ⟨row⟩ ⟨col⟩

Replacement in Main.lean at line 9 [3.134883]
B:BD[3.135021] → [8.38143:38158]
```
  tabStop := 4
```
[3.135021]
[3.135021]
```
  tabStop := 2
```