mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-18 10:07:28 +00:00
cli: rename op "head" color label to "current_operation"
FWIW, this change means a boolean "current_operation" keyword will be highlighted even if it's false.
This commit is contained in:
parent
4f36367aee
commit
4ec0bfb8f7
2 changed files with 5 additions and 5 deletions
|
@ -53,7 +53,7 @@
|
||||||
"op_log id" = "blue"
|
"op_log id" = "blue"
|
||||||
"op_log user" = "yellow"
|
"op_log user" = "yellow"
|
||||||
"op_log time" = "cyan"
|
"op_log time" = "cyan"
|
||||||
"op_log head" = { bold = true }
|
"op_log current_operation" = { bold = true }
|
||||||
"op_log head id" = "bright blue"
|
"op_log current_operation id" = "bright blue"
|
||||||
"op_log head user" = "yellow" # No bright yellow, see comment above
|
"op_log current_operation user" = "yellow" # No bright yellow, see comment above
|
||||||
"op_log head time" = "bright cyan"
|
"op_log current_operation time" = "bright cyan"
|
||||||
|
|
|
@ -27,7 +27,7 @@ label(if(current_working_copy, "working_copy"),
|
||||||
'''
|
'''
|
||||||
|
|
||||||
op_log = '''
|
op_log = '''
|
||||||
label(if(current_operation, "head"),
|
label(if(current_operation, "current_operation"),
|
||||||
separate(" ",
|
separate(" ",
|
||||||
id.short(),
|
id.short(),
|
||||||
user,
|
user,
|
||||||
|
|
Loading…
Reference in a new issue