From ddff67da39b2a4c578ecc6d5a46e4d1d7bfd213b Mon Sep 17 00:00:00 2001 From: Enrico Lumetti Date: Thu, 25 Aug 2016 02:14:50 +0200 Subject: [PATCH] Name JSON resize parameters explicitely --- doc/json_ui.asciidoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/json_ui.asciidoc b/doc/json_ui.asciidoc index 87980df3..4cc7f611 100644 --- a/doc/json_ui.asciidoc +++ b/doc/json_ui.asciidoc @@ -44,4 +44,4 @@ Here are the requests that can be written by the json ui on stdout: The requests that the json ui can interpret on stdin are: * keys(String key1, String key2...): keystrokes -* resize(int x, int y): notify ui resize +* resize(int rows, int columns): notify ui resize