diff options
Diffstat (limited to '081print.mu')
| -rw-r--r-- | 081print.mu | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/081print.mu b/081print.mu index 9eecf6d3..474e4c31 100644 --- a/081print.mu +++ b/081print.mu @@ -607,7 +607,7 @@ def screen-height screen:&:screen -> height:num [ def hide-cursor screen:&:screen -> screen:&:screen [ local-scope load-ingredients - reply-if screen # fake screen; do nothing + return-if screen # fake screen; do nothing # real screen hide-cursor-on-display ] @@ -615,7 +615,7 @@ def hide-cursor screen:&:screen -> screen:&:screen [ def show-cursor screen:&:screen -> screen:&:screen [ local-scope load-ingredients - reply-if screen # fake screen; do nothing + return-if screen # fake screen; do nothing # real screen show-cursor-on-display ] @@ -623,7 +623,7 @@ def show-cursor screen:&:screen -> screen:&:screen [ def hide-screen screen:&:screen -> screen:&:screen [ local-scope load-ingredients - reply-if screen # fake screen; do nothing + return-if screen # fake screen; do nothing # real screen hide-display ] @@ -631,7 +631,7 @@ def hide-screen screen:&:screen -> screen:&:screen [ def show-screen screen:&:screen -> screen:&:screen [ local-scope load-ingredients - reply-if screen # fake screen; do nothing + return-if screen # fake screen; do nothing # real screen show-display ] |