mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2024-11-28 17:41:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11
jj/demos
History
Ilya Grigoriev 0e2579ee6a Switch graph node to use ◉ for commit instead of ● 
This follows up on 5c703aeb03.

The only reason for this change is that, subjectively, the result looks better to me. I'm not sure why, but I couldn't get used to the old symbol in spite of its seeming reasonableness. It felt really bold and heavy.

If people agree, we can wait until we need to update the screenshots for some other reason before merging this. Sorry I didn't figure this out while the discussion about the referenced commit was going on.

I'm not 100% certain how many fonts support each symbol. Please try it out and let me know if it doesn't work for you.

Compare after:

![image](https://user-images.githubusercontent.com/4123047/229251383-563b889d-7233-42e2-a3c5-bf9368a4d1fd.png)

and before:

![image](https://user-images.githubusercontent.com/4123047/229251695-7fd0ff2c-2832-4262-ade5-5120288cccdf.png)
2023-04-02 23:15:37 -07:00
..
demo_git_compat.sh demos: add blank line at the end 2023-02-14 22:12:23 -08:00
demo_helpers.sh demos: replace asciinema by screenshots 2022-10-21 06:04:31 -07:00
demo_juggle_conflicts.sh demos: add blank line at the end 2023-02-14 22:12:23 -08:00
demo_operation_log.sh Switch graph node to use ◉ for commit instead of ● 2023-04-02 23:15:37 -07:00
demo_resolve_conflict.sh demos: add blank line at the end 2023-02-14 22:12:23 -08:00
demo_working_copy.sh demos: add blank line at the end 2023-02-14 22:12:23 -08:00
git_compat.png cli: replace o as graph node by ● when using unicode graph 2023-03-12 23:21:05 -07:00
juggle_conflicts.png cli: replace o as graph node by ● when using unicode graph 2023-03-12 23:21:05 -07:00
operation_log.png cli: replace o as graph node by ● when using unicode graph 2023-03-12 23:21:05 -07:00
resolve_conflicts.png cli: replace o as graph node by ● when using unicode graph 2023-03-12 23:21:05 -07:00
working_copy.png cli: replace o as graph node by ● when using unicode graph 2023-03-12 23:21:05 -07:00