Skip to content

How to change indent and arrow colors? #1926

Unanswered
alloc33 asked this question in Q&A
How to change indent and arrow colors? #1926
@alloc33 alloc33
Jan 18, 2023 · 1 comment
Return to top
Discussion options

alloc33
Jan 18, 2023

You must be logged in to vote

Replies: 1 comment

Comment options

gegoune
Jan 18, 2023
Maintainer

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants
@alloc33 @gegoune
Converted from issue

This discussion was converted from issue #1925 on January 18, 2023 10:03.