ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

cli: rename "op-log" color label to "op_log"

Browse source 
Per discussion in #1289.
This commit is contained in:
Yuya Nishihara 2023-02-20 18:00:13 +09:00
parent e9009cf21e
commit 4f36367aee
2 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/commands/operation.rs
View file

@ -79,7 +79,7 @@ fn cmd_op_log(
let is_head_op = op.id() == &head_op_id;
let mut buffer = vec![];
ui.new_formatter(&mut buffer)
.with_label("op-log", |formatter| template.format(&op, formatter))?;
.with_label("op_log", |formatter| template.format(&op, formatter))?;
if !buffer.ends_with(b"\n") {
buffer.push(b'\n');
}

14
src/config/colors.toml
View file

@ -50,10 +50,10 @@
"diff removed" = "red"
"diff added" = "green"
"diff modified" = "cyan"
"op-log id" = "blue"
"op-log user" = "yellow"
"op-log time" = "cyan"
"op-log head" = { bold = true }
"op-log head id" = "bright blue"
"op-log head user" = "yellow" # No bright yellow, see comment above
"op-log head time" = "bright cyan"
"op_log id" = "blue"
"op_log user" = "yellow"
"op_log time" = "cyan"
"op_log head" = { bold = true }
"op_log head id" = "bright blue"
"op_log head user" = "yellow" # No bright yellow, see comment above
"op_log head time" = "bright cyan"