ok/jj
1
0
Fork 0
forked from mirrors/jj
jj/src
Martin von Zweigbergk d33721d6fb formatter: rename {add,remove}_label to {push,pop}_label
The labels behave like a stack, and these names hopefully help clarify
that.
2023-01-13 21:47:50 -08:00
..
config formatter: remove hack for making bright colors bold 2023-01-13 21:47:50 -08:00
cleanup_guard.rs cleanup: let new Clippy move variables into format strings 2022-12-14 21:30:58 -08:00
cli_util.rs cli: add formatter.labeled() for short 2023-01-12 17:32:18 +09:00
commands.rs formatter: rename {add,remove}_label to {push,pop}_label 2023-01-13 21:47:50 -08:00
config-schema.json Define config TOML/JSON schema 2023-01-02 20:26:28 -06:00
config.rs Add a config edit command to open jj config in editor 2023-01-12 01:10:07 -06:00
diff_util.rs formatter: rename {add,remove}_label to {push,pop}_label 2023-01-13 21:47:50 -08:00
formatter.rs formatter: rename {add,remove}_label to {push,pop}_label 2023-01-13 21:47:50 -08:00
graphlog.rs copyright: change from "Google LLC" to "The Jujutsu Authors" 2022-11-28 06:05:45 -10:00
lib.rs Rename diff_edit.rs to merge_tools.rs 2022-12-17 22:26:59 -08:00
main.rs cli: port custom command dispatch to CliRunner 2023-01-04 15:48:38 +09:00
merge_tools.rs run_merge_tool, edit_diff: Print command args with -v instead of errors 2023-01-12 23:07:59 -08:00
progress.rs cleanup: let new Clippy move variables into format strings 2022-12-14 21:30:58 -08:00
template.pest copyright: change from "Google LLC" to "The Jujutsu Authors" 2022-11-28 06:05:45 -10:00
template_parser.rs templater: auto-label template method calls 2023-01-08 23:01:53 -08:00
templater.rs formatter: rename {add,remove}_label to {push,pop}_label 2023-01-13 21:47:50 -08:00
ui.rs cli: migrate ui.write_error() to writeln!() 2023-01-12 17:32:18 +09:00