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

ui-docs: add help for resize-window

windows-high-dpi
Alexander Iljin 2018-03-06 01:11:00 +01:00 committed by John Benediktsson
parent cb71664787
commit e749734b01
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/ui/ui-docs.factor
View File

@ -13,6 +13,10 @@ HELP: open-window
{ $values { "gadget" gadget } { "title/attributes" { "a " { $link string } " or a " { $link world-attributes } " tuple" } } }
{ $description "Opens a native window containing " { $snippet "gadget" } " with the specified attributes. If a string is provided, it is used as the window title; otherwise, the window attributes are specified in a " { $link world-attributes } " tuple." } ;
HELP: resize-window
{ $values { "world" world } { "dim" "a pair of integers: width and height" } }
{ $description "Resize the native window so that its contents area (called the \"client area\" in Windows) has the specified dimensions." } ;
HELP: set-fullscreen
{ $values { "gadget" gadget } { "?" boolean } }
{ $description "Sets and unsets fullscreen mode for the gadget's world." } ;