Improved Theming Support #23956
someone13574
started this conversation in
Extensions and Themes
Improved Theming Support
#23956
Replies: 2 comments
-
|
Seconded. It would be especially great to be able to reduce the padding around line numbers. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
This probably needs more discussion. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Ability for themes to change more parts of the ui other than just color, such as border width, margin, padding, and border radius.
Beta Was this translation helpful? Give feedback.
All reactions