diff options
Diffstat (limited to '081print.mu')
-rw-r--r-- | 081print.mu | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/081print.mu b/081print.mu index f1c8c8bb..b778948e 100644 --- a/081print.mu +++ b/081print.mu @@ -597,22 +597,6 @@ def screen-height screen:&:screen -> height:num [ height <- display-height ] -def hide-cursor screen:&:screen -> screen:&:screen [ - local-scope - load-ingredients - return-if screen # fake screen; do nothing - # real screen - hide-cursor-on-display -] - -def show-cursor screen:&:screen -> screen:&:screen [ - local-scope - load-ingredients - return-if screen # fake screen; do nothing - # real screen - show-cursor-on-display -] - def hide-screen screen:&:screen -> screen:&:screen [ local-scope load-ingredients |