]> gitweb.factorcode.org Git - factor.git/commitdiff
io.streams.ansi: use filter-writer.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 15 Feb 2020 16:57:09 +0000 (08:57 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 15 Feb 2020 16:57:09 +0000 (08:57 -0800)
extra/io/streams/ansi/ansi.factor

index 65c47c30690a0a74910bd54237918e3433e02f61..942eaa927993886d76806052dedad6d4c295c2c4 100644 (file)
@@ -54,15 +54,10 @@ CONSTANT: colors H{
         { bold-italic "\e[1m\e[3m" }
     } at "" or ;
 
-TUPLE: ansi stream ;
+TUPLE: ansi < filter-writer ;
 
 C: <ansi> ansi
 
-M: ansi stream-write1 stream>> stream-write1 ;
-M: ansi stream-write stream>> stream-write ;
-M: ansi stream-flush stream>> stream-flush ;
-M: ansi stream-nl stream>> stream-nl ;
-
 M: ansi stream-format
     [
         [ foreground of [ color>foreground ] [ "" ] if* ]