From 1bf0ea4b465fe55815ddd7fec28712611e18f9c3 Mon Sep 17 00:00:00 2001 From: Frank LENORMAND Date: Sun, 25 Mar 2018 10:29:21 +0300 Subject: [PATCH] doc json_ui: Document the `refresh` request --- doc/json_ui.asciidoc | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/json_ui.asciidoc b/doc/json_ui.asciidoc index 9d3e3dc6..cdfae701 100644 --- a/doc/json_ui.asciidoc +++ b/doc/json_ui.asciidoc @@ -49,6 +49,7 @@ Here are the requests that can be written by the json ui on stdout: mode can be: - prompt: the coordinate line should be 0, and the cursor is in the prompt area - buffer: the cursor is in the buffer display area +* refresh(bool force) The requests that the json ui can interpret on stdin are: