1
1
mirror of https://github.com/mawww/kakoune.git synced 2024-12-28 06:08:05 +03:00
Commit Graph

16 Commits

Author SHA1 Message Date
Maxime Coste
ba0ce99717 Merge remote-tracking branch 'Delapouite/patch-2' 2019-09-26 20:31:45 +10:00
Bruno Heridet
033908f8ec
doc: add link to json-rpc 2.0 spec 2019-09-24 10:07:23 +02:00
Maxime Coste
09c514901d Update json_ui documentation to match current protocol 2019-08-20 22:10:20 +10:00
Maxime Coste
1631a7d8d9 Replace the Exclusive face attribute with Final
Final is more granular, it consists of FinalFg (f), FinalBg (g)
and FinalAttr (a) which control if a face's fg, bg, or attributes
fully overwrite the previous face (instead of merging) and if
following faces apply on top of this face or not.

Fixes #2388 if the Whitespace face has the FinalFg flag.
2018-09-23 23:27:14 +10:00
Maxime Coste
7325ad216c Add support for explicit menu selection from the UI
the JsonUI now supports a "menu_select(int)" RPC call that should
trigger explicit selection of the provided item index.

As discussed for issue #2019.
2018-05-03 22:28:20 +10:00
Maxime Coste
c2637f08d9 JsonUI: Add support for a "mouse" RPC calls from the UI
As discussed on issue #2019
2018-05-03 22:27:59 +10:00
Maxime Coste
8e555cb992 JsonUI: add support for set_ui_options RPC call
As discussed on #2019
2018-04-29 20:45:53 +10:00
Frank LENORMAND
1bf0ea4b46 doc json_ui: Document the refresh request 2018-03-25 10:29:21 +03:00
Maxime Coste
376449f28a Add documentation for the set_cursor ui call in json_ui.asciidoc 2017-04-12 10:46:27 +01:00
Maxime Coste
9dfd17a5bc Add the 'modal' info style documenation in json ui doc 2017-01-07 01:26:52 +00:00
Enrico Lumetti
a64ef12d2b Clarify parameters in json-rpc 2017-01-06 22:25:47 +01:00
Enrico Lumetti
ddff67da39 Name JSON resize parameters explicitely 2016-08-25 02:14:50 +02:00
Maxime Coste
7f345db3cc Document that json rpc requests will be written new-line separated
Fixes #717
2016-07-04 19:49:14 +01:00
Maxime Coste
815924e4da Merge remote-tracking branch 'lenormf/buffer-padding' 2016-04-11 13:44:10 +01:00
Maxime Coste
9b98aa61a8 Fix json_ui doc on the option to use 2016-04-09 09:05:19 +01:00
Maxime Coste
26e81976d3 Add a quick explanation of the json ui 2016-03-07 21:44:50 +00:00