Handbook
Glossary
preview-extension ( -- extension )
Vocabulary
graphviz
.
render
.
private
Inputs
None
Outputs
extension
an
object
Definition
USING:
combinators
graphviz.render
namespaces
unicode
;
IN:
graphviz.render.private
:
preview-extension
( -- extension )
preview-format
get-global
>lower
{
{
"bmp"
[
".bmp"
]
}
{
"gif"
[
".gif"
]
}
{
"ico"
[
".ico"
]
}
{
"jpg"
[
".jpg"
]
}
{
"jpeg"
[
".jpg"
]
}
{
"jpe"
[
".jpg"
]
}
{
"png"
[
".png"
]
}
{
"tif"
[
".tif"
]
}
{
"tiff"
[
".tif"
]
}
[
unsupported-preview-format
]
}
case
;