History of withProposal 1 change

In src/extension.ts, lines 247–264 on d8ac8f93fd34e472410f33d5035fe84b6f04917d2c0607b795f379d308531fff. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 247,264:src/extension.ts.