From 1627d836b46440f57d766b154ec488fa2e5a1e06 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 28 Sep 2016 14:38:32 -0700 Subject: 3428 --- edit/002-typing.mu | 4 ++-- sandbox/002-typing.mu | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/edit/002-typing.mu b/edit/002-typing.mu index e450abba..68af65ee 100644 --- a/edit/002-typing.mu +++ b/edit/002-typing.mu @@ -855,14 +855,14 @@ after [ newline?:bool <- equal c, 10/newline break-unless newline? - editor <- insert-new-line-and-indent editor, screen + editor <- insert-newline-and-indent editor, screen go-render? <- copy 1/true return } ] -def insert-new-line-and-indent editor:&:editor, screen:&:screen -> editor:&:editor, screen:&:screen, go-render?:bool [ +def insert-newline-and-indent editor:&:editor, screen:&:screen -> editor:&:editor, screen:&:screen, go-render?:bool [ local-scope load-ingredients cursor-row:num <- get *editor, cursor-row:offset diff --git a/sandbox/002-typing.mu b/sandbox/002-typing.mu index f51d5fe1..92ebb654 100644 --- a/sandbox/002-typing.mu +++ b/sandbox/002-typing.mu @@ -854,14 +854,14 @@ after [ newline?:bool <- equal c, 10/newline break-unless newline? - editor <- insert-new-line-and-indent editor, screen + editor <- insert-newline-and-indent editor, screen go-render? <- copy 1/true return } ] -def insert-new-line-and-indent editor:&:editor, screen:&:screen -> editor:&:editor, screen:&:screen, go-render?:bool [ +def insert-newline-and-indent editor:&:editor, screen:&:screen -> editor:&:editor, screen:&:screen, go-render?:bool [ local-scope load-ingredients cursor-row:num <- get *editor, cursor-row:offset -- cgit 1.4.1-2-gfad0