From fbd79553e0e61ac507d44ec8f7dbdc0d7679e2c0 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Thu, 26 Jul 2012 19:15:27 -0700 Subject: [PATCH] io.streams.256color: use "\e" escape. --- extra/io/streams/256color/256color.factor | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/extra/io/streams/256color/256color.factor b/extra/io/streams/256color/256color.factor index 8278056ea3..58bdc5a31c 100644 --- a/extra/io/streams/256color/256color.factor +++ b/extra/io/streams/256color/256color.factor @@ -61,10 +61,10 @@ intensities [| r i | 256colors [ keys swap infimum-by ] [ at ] bi ; : color>foreground ( color -- str ) - color>256color "\u00001b[38;5;%sm" sprintf ; + color>256color "\e[38;5;%sm" sprintf ; : color>background ( color -- str ) - color>256color "\u00001b[48;5;%sm" sprintf ; + color>256color "\e[48;5;%sm" sprintf ; TUPLE: 256color stream ; @@ -79,7 +79,7 @@ M: 256color stream-format [ [ foreground swap at [ color>foreground ] [ "" ] if* ] [ background swap at [ color>background ] [ "" ] if* ] - bi append [ "\u00001b[0m" surround ] unless-empty + bi append [ "\e[0m" surround ] unless-empty ] dip stream>> stream-write ; M: 256color make-span-stream