diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-28 14:38:32 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-28 14:38:32 -0700 |
| commit | 1627d836b46440f57d766b154ec488fa2e5a1e06 (patch) | |
| tree | ae4823ae28ef829b9aaf5c6e68e636c7b72213d0 /sandbox/002-typing.mu | |
| parent | 4896fd81a50814843680bd03fcba46643f08c95e (diff) | |
| download | mu-1627d836b46440f57d766b154ec488fa2e5a1e06.tar.gz | |
3428
Diffstat (limited to 'sandbox/002-typing.mu')
| -rw-r--r-- | sandbox/002-typing.mu | 4 |
1 files changed, 2 insertions, 2 deletions
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 <handle-special-character> [ newline?:bool <- equal c, 10/newline break-unless newline? <insert-enter-begin> - editor <- insert-new-line-and-indent editor, screen + editor <- insert-newline-and-indent editor, screen <insert-enter-end> 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 |