config key change; uiitemtextbutton can now have tags alongside with the label

This commit is contained in:
minjaesong
2021-09-19 17:06:22 +09:00
parent 66e77e0a01
commit e2101ebc54
25 changed files with 120 additions and 206 deletions

View File

@@ -6,7 +6,7 @@ Text = Tag , Text | PlainText , Text ;
Tag = "{" , Code , { TagArgs } , "}" ;
TagArgs = " " , Text ;
Code = Number | "G" | "P" | "KC" | "SYM" | "NORMAL" | "EMPH" | "VERB" | "RED" | Code , "." , Subcode ;
(* KC: keycap. e.g. "{KC config_keyinteract}" | "{KC e}" *)
(* KC: keycap. e.g. "{KC control_key_interact}" | "{KC e}" *)
(* G: grammatical gender *)
(* P: singualr/plural *)
(* EMPH: emphasize noun. e.g. "Treasure for the {EMPH}paraglider{NORMAL}. A fair exchange, I believe." *)