An edit to panel elements order #28696
murtadapy
started this conversation in
Extensions and Themes
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi,
Thank you so much for the effort that is put on Zed editor.
I have been creating a new theme for Zed, and I noticed that we have the wrong order between:
The border of focused element
(panel.focused_border)and the indentation guide(panel.indent_guide).It does not make sense for the indention line to cover the element border, does it?
Thanks
Beta Was this translation helpful? Give feedback.
All reactions