From 760e87140ac600a45ddfd8ef47eece710e8520d7 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 15 Feb 2020 08:57:18 -0800 Subject: [PATCH] io.streams.256color: use filter-writer. --- extra/io/streams/256color/256color.factor | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/extra/io/streams/256color/256color.factor b/extra/io/streams/256color/256color.factor index 0d7b13a41a..a8b44baaae 100644 --- a/extra/io/streams/256color/256color.factor +++ b/extra/io/streams/256color/256color.factor @@ -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* ]