From 09c514901d84fa9f9be6fa61af183c606e3a5926 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Tue, 20 Aug 2019 22:10:20 +1000 Subject: [PATCH] Update json_ui documentation to match current protocol --- doc/json_ui.asciidoc | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/doc/json_ui.asciidoc b/doc/json_ui.asciidoc index 52ecd17f4..5a18d179c 100644 --- a/doc/json_ui.asciidoc +++ b/doc/json_ui.asciidoc @@ -57,7 +57,12 @@ The requests that the json ui can interpret on stdin are: * keys(String key1, String key2...): keystrokes * resize(int rows, int columns): notify ui resize -* mouse(String type, int line, int column): mouse event, type - can be: 'move', 'press', 'release', 'wheel_up', 'wheel_down', - line, column is the cursor position. +* scroll(int amount): scroll by given line amount +* mouse(String type, int line, int column): mouse event. line and column relate to + the cursor position. type can be: + - 'move' + - 'press_left' + - 'press_right' + - 'release_left' + - 'release_right' * menu_select(int index): explicit select of given menu entry