dustinswan/cg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dot in textEditor to repeat last action

Browse source
This commit is contained in:
Dustin Swan 2026-03-19 20:21:26 -06:00
parent 717ec2048b
commit 0d43dc0128
No known key found for this signature in database
GPG key ID: 30D46587E2100467
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/cg/06-textEditor.cg
View file

@ -109,12 +109,13 @@ textEditor = name \
applyOperator = operator motion state \ applyOperator = operator motion state \
target = resolveMotion motion state; target = resolveMotion motion state;
action = { operator = operator, motion = motion };
stateSnapshot = { lines = state.lines, cursorRow = state.cursorRow, cursorCol = state.cursorCol }; stateSnapshot = { lines = state.lines, cursorRow = state.cursorRow, cursorCol = state.cursorCol };
newState = operator newState = operator
| Delete \ (motion | Delete \ (motion
| WholeLine \ deleteLine state | WholeLine \ deleteLine state
| _ \ { state = deleteRange state target.from target.to, emit = [] }); | _ \ { state = deleteRange state target.from target.to, emit = [] });
{ state = clampCursor newState.state.{ undoStack = [stateSnapshot, ...state.undoStack], pending = None }, emit = newState.emit }; { state = clampCursor newState.state.{ undoStack = [stateSnapshot, ...state.undoStack], pending = None, lastAction = Some action }, emit = newState.emit };
moveCursor = motion state \ moveCursor = motion state \
state.{ cursorCol = motion.to.col, cursorRow = motion.to.row }; state.{ cursorCol = motion.to.col, cursorRow = motion.to.row };
@ -276,7 +277,8 @@ textEditor = name \
undoStack = [], undoStack = [],
redoStack = [], redoStack = [],
mode = Normal, # Normal | Insert | Visual mode = Normal, # Normal | Insert | Visual
pending = None # Some "d" | Some "g" | etc. pending = None, # Some "d" | Some "g" | etc.
lastAction = None, # Some { operator, motion }
}, },
update = state event \ state.mode update = state event \ state.mode
@ -318,6 +320,9 @@ textEditor = name \
| Key { key = "w" } \ (state.pending | Key { key = "w" } \ (state.pending
| None \ withScroll { state = moveCursor (resolveMotion Word state) state, emit = [] } | None \ withScroll { state = moveCursor (resolveMotion Word state) state, emit = [] }
| Some Delete \ withScroll (applyOperator Delete Word state)) | Some Delete \ withScroll (applyOperator Delete Word state))
| Key { key = "." } \ (state.lastAction
| None \ { state = state, emit = [] }
| Some action \ applyOperator action.operator action.motion state)
| Key { key = "W", ctrl = True, shift = True } \ write state | Key { key = "W", ctrl = True, shift = True } \ write state
| Key { key = "A", ctrl = True, shift = True } \ apply state | Key { key = "A", ctrl = True, shift = True } \ apply state
# any other key or event # any other key or event