Handbook
Glossary
default-world-pixel-format-attributes ( -- value )
Vocabulary
ui
.
gadgets
.
worlds
Inputs
None
Outputs
value
an
object
Definition
USING:
ui.pixel-formats
;
IN:
ui.gadgets.worlds
CONSTANT:
default-world-pixel-format-attributes
{
windowed
double-buffered
}
inline