2016-03-06 15:43:14 +01:00
|
|
|
Json-Rpc user interface
|
|
|
|
=======================
|
|
|
|
|
|
|
|
Kakoune user interfaces can be implemented through the json-rpc 2.0 protocol.
|
|
|
|
|
2016-04-09 10:05:19 +02:00
|
|
|
By launching kakoune in client mode with the `-ui json` option, the launched
|
2016-07-04 20:49:14 +02:00
|
|
|
client will write newline separated json-rpc requests on stdout and read
|
|
|
|
json-rpc requests on stdin. Errors will be reported on stderr (not in
|
|
|
|
json format).
|
2016-03-06 15:43:14 +01:00
|
|
|
|
|
|
|
Kakoune requests are always using positional parameters, never named, and
|
2017-01-06 22:21:14 +01:00
|
|
|
Kakoune won't be able to parse named parameters in requests.
|
2016-03-06 15:43:14 +01:00
|
|
|
|
|
|
|
Here are the data structures used:
|
|
|
|
|
2017-01-06 22:21:14 +01:00
|
|
|
* Color: a string, either a named color, or #rrggbb, or 'default'
|
2018-09-23 15:17:12 +02:00
|
|
|
* Attribute: one of {underline, reverse, blink, bold, dim, italic, final_fg, final_bg, final_attr}
|
2016-03-06 15:43:14 +01:00
|
|
|
* Face { Color fg; Color bg; Array<Attribute> attributes; }
|
|
|
|
* Atom { Face face; String contents; }
|
|
|
|
* Line : Array of Atom
|
|
|
|
* Coord { int line; int column }
|
|
|
|
|
|
|
|
Here are the requests that can be written by the json ui on stdout:
|
|
|
|
|
2016-04-11 14:44:10 +02:00
|
|
|
* draw(Array<Line> lines, Face default_face, Face padding_face)
|
2017-01-06 22:21:14 +01:00
|
|
|
padding_face is the face of the padding characters '~' in the
|
|
|
|
terminal UI.
|
2016-03-06 15:43:14 +01:00
|
|
|
* draw_status(Line status_line, Line mode_line,
|
|
|
|
Face default_face)
|
2017-01-06 22:21:14 +01:00
|
|
|
* menu_show(Array<Line> items, Coord anchor, Face selected_item_face, Face menu_face,
|
2016-03-06 15:43:14 +01:00
|
|
|
String style)
|
|
|
|
style can be:
|
|
|
|
- prompt: display the menu as a prompt menu (anchor is ignored)
|
|
|
|
- inline: display the menu next to (above or below) the anchor coordinate
|
|
|
|
* menu_select(int selected)
|
|
|
|
* menu_hide()
|
|
|
|
* info_show(String title, String content, Coord anchor, Face face, String style)
|
|
|
|
style can be:
|
|
|
|
- prompt: display the info as a prompt info (anchor is ignored)
|
|
|
|
- inline: display the info next to (above or below) the anchor coordinate
|
|
|
|
- inlineAbove: display the info next to (above) the anchor coordinate
|
|
|
|
- inlineBelow: display the info next to (below) the anchor coordinate
|
|
|
|
- menuDoc: display the info next to the menu, as a documentation for it
|
2017-01-07 02:26:52 +01:00
|
|
|
- modal: display the info in a way that shows Kakoune is waiting for a
|
|
|
|
special action related to it.
|
2016-03-06 15:43:14 +01:00
|
|
|
* info_hide()
|
2017-04-12 11:46:27 +02:00
|
|
|
* set_cursor(String mode, Coord coord)
|
|
|
|
set the main cursor position
|
|
|
|
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
|
2018-04-29 12:38:47 +02:00
|
|
|
* set_ui_options(Map<String, String> options)
|
|
|
|
called when ui_options changed with a map of options name to option values
|
2018-03-25 09:29:21 +02:00
|
|
|
* refresh(bool force)
|
2016-03-06 15:43:14 +01:00
|
|
|
|
|
|
|
The requests that the json ui can interpret on stdin are:
|
|
|
|
|
|
|
|
* keys(String key1, String key2...): keystrokes
|
2016-08-25 02:14:50 +02:00
|
|
|
* resize(int rows, int columns): notify ui resize
|
2019-08-20 14:10:20 +02:00
|
|
|
* 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'
|
2018-05-03 14:22:12 +02:00
|
|
|
* menu_select(int index): explicit select of given menu entry
|