From e749734b01672e7ac98fb0762f89a81586c5de56 Mon Sep 17 00:00:00 2001
From: Alexander Iljin <ajsoft@yandex.ru>
Date: Tue, 6 Mar 2018 01:11:00 +0100
Subject: [PATCH] ui-docs: add help for resize-window

---
 basis/ui/ui-docs.factor | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/basis/ui/ui-docs.factor b/basis/ui/ui-docs.factor
index 75b9cc5dbc..148e1e0a32 100644
--- a/basis/ui/ui-docs.factor
+++ b/basis/ui/ui-docs.factor
@@ -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." } ;