steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

io.streams.256color: use filter-writer.

flac
John Benediktsson 2020-02-15 08:57:18 -08:00 committed by Steve Ayerhart
parent 68cd577bcf
commit 760e87140a
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
extra/io/streams/256color/256color.factor
View File

@ -73,15 +73,10 @@ intensities [| r i |
{ bold-italic "\e[1m\e[3m" } { bold-italic "\e[1m\e[3m" }
} at "" or ; } at "" or ;
TUPLE: 256color stream ; TUPLE: 256color < filter-writer ;
C: <256color> 256color 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 M: 256color stream-format
[ [
[ foreground of [ color>foreground ] [ "" ] if* ] [ foreground of [ color>foreground ] [ "" ] if* ]