P1d: manual face cuts and trim in the quarry

This commit is contained in:
Emil
2026-11-01 01:51:47 +03:00
parent 88663a384e
commit 346035e869
17 changed files with 534 additions and 41 deletions
+1
View File
@@ -33,6 +33,7 @@ export function commandLabel(command: Command): string {
case 'strike_face': return `strike ${command.core} f${command.face + 1}`;
case 'set_pattern_step': return `step ${command.row + 1}:${command.step + 1} at ${command.velocity}`;
case 'set_pattern_face': return `${command.core} f${command.face + 1} on row ${command.row + 1}`;
case 'set_core_faces': return `cut ${command.core}`;
case 'undo': return 'undo';
case 'redo': return 'redo';
case 'get_snapshot': return 'snapshot';
+3 -1
View File
@@ -80,7 +80,8 @@ export type Event =
| { kind: 'pattern_step'; row: number; step: number; velocity: number }
| { kind: 'pattern_face'; row: number; core: string; face: number }
| { kind: 'face_struck'; core: string; face: number; velocity: number }
| { kind: 'history'; can_undo: boolean; can_redo: boolean };
| { kind: 'history'; can_undo: boolean; can_redo: boolean }
| { kind: 'core_faces'; core: CoreSummary };
export type Command =
| { type: 'get_snapshot' }
@@ -92,6 +93,7 @@ export type Command =
| { type: 'strike_face'; core: string; face: number; velocity: number }
| { type: 'set_pattern_step'; row: number; step: number; velocity: number }
| { type: 'set_pattern_face'; row: number; core: string; face: number }
| { type: 'set_core_faces'; core: string; boundaries: number[] }
| { type: 'undo' }
| { type: 'redo' };