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

index 0d7b13a41a47b9e19b3e28b06607a6e9f4ca0e96..a8b44baaae2f6928446fdb3f4582a7c1cd9d52c1 100644 (file)
@@ -73,15 +73,10 @@ intensities [| r i |
         { bold-italic "\e[1m\e[3m" }
     } at "" or ;
 
-TUPLE: 256color stream ;
+TUPLE: 256color < filter-writer ;
 
 C: <256color> 256color
 
-M: 256color stream-write1 stream>> stream-write1 ;
-M: 256color stream-write stream>> stream-write ;
-M: 256color stream-flush stream>> stream-flush ;
-M: 256color stream-nl stream>> stream-nl ;
-
 M: 256color stream-format
     [
         [ foreground of [ color>foreground ] [ "" ] if* ]