1
1
mirror of https://github.com/mawww/kakoune.git synced 2024-12-20 18:11:36 +03:00
Commit Graph

13 Commits

Author SHA1 Message Date
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